Volume 144, Number 1, January 2006
Proceedings of the Third International Workshop on Bounded Model Checking (BMC 2005)
Anders Franzén:
Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs.
19-33
Daniel Kroening:
Computing Over-Approximations with Bounded Model Checking.
79-92
Volume 144, Number 2, January 2006
Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005)
Tjark Weber:
Integrating a SAT Solver with an LCF-style Theorem Prover.
67-78
Volume 144, Number 3, February 2006
Proceedings of the Workshop on Software Model Checking (SoftMC 2005)
Steven P. Reiss:
Checking Event-Based Specifications in Java Systems.
107-132
Bernd Westphal:
LSC Verification for UML Models with Unbounded Creation and Destruction.
133-145
Volume 144, Number 4, May 2006
Proceedings of the Fifth Workshop on Runtime Verification (RV 2005)
Yaniv Eytani:
Concurrent Java Test Generation as a Search Problem.
57-72
data released under the ODC-BY 1.0 license
