Search Sciweavers | Sciweavers

4340 search results - page 169 / 868

» Formal Methods and Cryptography

139

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 14 days ago

Download www.fermat.ece.vt.edu

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

claim paper

Read More »

127

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

The ComFoRT Reasoning Framework

16 years 2 hour ago

Download www.sei.cmu.edu

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

claim paper

Read More »

155

click to vote

FORMATS
2005
Springer

156views Formal Methods» more FORMATS 2005»

Comparison of the Expressiveness of Timed Automata and Time Petri Nets

15 years 12 months ago

Download www.irccyn.fr

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

claim paper

Read More »

142

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

15 years 12 months ago

Download reference.kfupm.edu.sa

Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Linta...

claim paper

Read More »

121

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers