Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
CAV
2004
Springer
77views Hardware» more  CAV 2004»
11 years 5 months ago
Understanding Counterexamples with explain
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
Alex Groce, Daniel Kroening, Flavio Lerda
CAV
2004
Springer
105views Hardware» more  CAV 2004»
11 years 5 months ago
A Formal Reduction for Lock-Free Parallel Algorithms
Hui Gao, Wim H. Hesselink
CAV
2004
Springer
108views Hardware» more  CAV 2004»
11 years 5 months ago
DPLL( T): Fast Decision Procedures
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
Harald Ganzinger, George Hagen, Robert Nieuwenhuis...
CAV
2004
Springer
97views Hardware» more  CAV 2004»
11 years 5 months ago
Efficient Modeling of Embedded Memories in Bounded Model Checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar
CAV
2004
Springer
86views Hardware» more  CAV 2004»
11 years 5 months ago
MCK: Model Checking the Logic of Knowledge
Peter Gammie, Ron van der Meyden
CAV
2004
Springer
90views Hardware» more  CAV 2004»
11 years 5 months ago
WSAT: A Tool for Formal Analysis of Web Services
Xiang Fu, Tevfik Bultan, Jianwen Su
CAV
2004
Springer
108views Hardware» more  CAV 2004»
11 years 5 months ago
Formal Analysis of Java Programs in JavaFAN
Azadeh Farzan, Feng Chen, José Meseguer, Gr...
CAV
2004
Springer
111views Hardware» more  CAV 2004»
11 years 5 months ago
Using Interface Refinement to Integrate Formal Verification into the Design Cycle
Jacob Chang, Sergey Berezin, David L. Dill
CAV
2004
Springer
152views Hardware» more  CAV 2004»
11 years 5 months ago
Abstract Regular Model Checking
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
Ahmed Bouajjani, Peter Habermehl, Tomás Voj...
books