Sciweavers

38 search results - page 2 / 8

» cav 2004

24

CAV
2004
Springer

111views Hardware» more CAV 2004»

Using Interface Refinement to Integrate Formal Verification into the Design Cycle

14 years 2 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 »

21

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

14 years 2 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 »

25

CAV
2004
Springer

122views Hardware» more CAV 2004»

Abstraction-Based Satisfiability Solving of Presburger Arithmetic

14 years 1 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 »

25

CAV
2004
Springer

108views Hardware» more CAV 2004»

Formal Analysis of Java Programs in JavaFAN

14 years 2 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 »

33

CAV
2004
Springer

89views Hardware» more CAV 2004»

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

14 years 2 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 »