Volume 144, Number 1, January 2006 Proceedings of the Third International Workshop on Bounded Model Checking (BMC 2005)
: Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs.
: Computing Over-Approximations with Bounded Model Checking.
Volume 144, Number 2, January 2006 Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005)
: Integrating a SAT Solver with an LCF-style Theorem Prover.
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.
: LSC Verification for UML Models with Unbounded Creation and Destruction.
Volume 144, Number 4, May 2006 Proceedings of the Fifth Workshop on Runtime Verification (RV 2005)
: Concurrent Java Test Generation as a Search Problem.