Search Sciweavers | Sciweavers

4036 search results - page 112 / 808

» Formal Methods

149

click to vote

IFL
2007
Springer

110views Formal Methods» more IFL 2007»

XHaskell - Adding Regular Expression Types to Haskell

16 years 26 days ago

Download www.itu.dk

Martin Sulzmann, Kenny Zhuo Ming Lu

claim paper

Read More »

147

click to vote

MEMOCODE
2006
IEEE

81views Formal Methods» more MEMOCODE 2006»

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design

16 years 22 days ago

Download www.fermat.ece.vt.edu

Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Ris...

claim paper

Read More »

128

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

The ComFoRT Reasoning Framework

16 years 7 days ago

Download www.sei.cmu.edu

Sagar Chaki, James Ivers, Natasha Sharygina, Kurt ...

claim paper

Read More »

159

click to vote

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

16 years 7 days ago

Download www.irccyn.fr

Béatrice Bérard, Franck Cassez, Serg...

claim paper

Read More »

144

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers