Search Sciweavers | Sciweavers

4340 search results - page 169 / 868

» Formal Methods and Cryptography

108

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

15 years 10 months ago

Download www.fermat.ece.vt.edu

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

claim paper

Read More »

104

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

The ComFoRT Reasoning Framework

15 years 9 months ago

Download www.sei.cmu.edu

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

claim paper

Read More »

121

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 9 months ago

Download www.irccyn.fr

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

claim paper

Read More »

121

click to vote

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

15 years 9 months ago

Download reference.kfupm.edu.sa

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

claim paper

Read More »

100

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers