Sciweavers

38 search results - page 2 / 8
» cav 2004
Sort
View
CAV
2004
Springer
111views Hardware» more  CAV 2004»
14 years 2 months ago
Using Interface Refinement to Integrate Formal Verification into the Design Cycle
Jacob Chang, Sergey Berezin, David L. Dill
CAV
2004
Springer
97views Hardware» more  CAV 2004»
14 years 2 months ago
Efficient Modeling of Embedded Memories in Bounded Model Checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar
CAV
2004
Springer
122views Hardware» more  CAV 2004»
14 years 1 months ago
Abstraction-Based Satisfiability Solving of Presburger Arithmetic
Daniel Kroening, Joël Ouaknine, Sanjit A. Ses...
CAV
2004
Springer
108views Hardware» more  CAV 2004»
14 years 2 months ago
Formal Analysis of Java Programs in JavaFAN
Azadeh Farzan, Feng Chen, José Meseguer, Gr...
CAV
2004
Springer
89views Hardware» more  CAV 2004»
14 years 2 months ago
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Linta...