Sciweavers

38 search results - page 2 / 8

» cav 2004

12

CAV
2004
Springer

111views Hardware» more CAV 2004»

Using Interface Refinement to Integrate Formal Verification into the Design Cycle

13 years 10 months ago

Using Interface Refinement to Integrate Formal Verification into the Design Cycle

Download chicory.stanford.edu

Jacob Chang, Sergey Berezin, David L. Dill

claim paper

Read More »

9

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

13 years 10 months ago

Efficient Modeling of Embedded Memories in Bounded Model Checking

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

14

CAV
2004
Springer

122views Hardware» more CAV 2004»

Abstraction-Based Satisfiability Solving of Presburger Arithmetic

13 years 8 months ago

Abstraction-Based Satisfiability Solving of Presburger Arithmetic

Download www.kroening.com

Daniel Kroening, Joël Ouaknine, Sanjit A. Ses...

claim paper

Read More »

13

CAV
2004
Springer

108views Hardware» more CAV 2004»

Formal Analysis of Java Programs in JavaFAN

13 years 10 months ago

Formal Analysis of Java Programs in JavaFAN

Download formal.cs.uiuc.edu

Azadeh Farzan, Feng Chen, José Meseguer, Gr...

claim paper

Read More »

16

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

13 years 10 months ago

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

Download reference.kfupm.edu.sa

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

claim paper

Read More »

« Prev « First page 2 / 8 Last » Next »