Volume 119,
Number 1,
February 2005
Proceedings of the Workshop on Games in Design and Verification (GDV 2004)
Volume 119,
Number 2,
March 2005
Proceedings of the 2nd International Workshop on Bounded Model Checking (BMC 2004)
- Armin Biere, Ofer Strichman:
Preface.
1-
Electronic Edition (link) BibTeX
- Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi:
SAT-based Induction for Temporal Safety Properties.
3-16
Electronic Edition (link) BibTeX
- Gilles Audemard, Marco Bozzano, Alessandro Cimatti, Roberto Sebastiani:
Verifying Industrial Hybrid Systems with MathSAT.
17-32
Electronic Edition (link) BibTeX
- Gabriel P. Bischoff, Karl S. Brace, Gianpiero Cabodi, Sergio Nocco, Stefano Quer:
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking.
33-49
Electronic Edition (link) BibTeX
- HoonSang Jin, Fabio Somenzi:
An Incremental Algorithm to Check Satisfiability for Bounded Model Checking.
51-65
Electronic Edition (link) BibTeX
- Alex Groce, Daniel Kroening:
Making the Most of BMC Counterexamples.
67-81
Electronic Edition (link) BibTeX
- Daniel Sheridan:
Bounded Model Checking with SNF, Alternating Automata, and Bu"chi Automata.
83-101
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:19 2009
by Michael Ley (ley@uni-trier.de)
