1. Introductory paper

   • Armin Biere
   • Ofer Strichman

   Special section on Bounded Model Checking 15 February 2005 Pages: 87 - 88

2. BMC via on-the-fly determinization

   • Toni Jussila
   • Keijo Heljanko
   • Ilkka Niemelä

   Special section on Bounded Model Checking 25 January 2005 Pages: 89 - 101

3. A BMC-based formulation for the scheduling problem of hardware systems

   • Gianpiero Cabodi
   • Alex Kondratyev
   • Yosinori Watanabe

   Special section on Bounded Model Checking 25 January 2005 Pages: 102 - 117

4. Symbolic computational techniques for solving games

   • Rajeev Alur
   • P. Madhusudan
   • Wonhong Nam

   Special section on Bounded Model Checking 15 February 2005 Pages: 118 - 128

5. Are BDDs still alive within sequential verification?

   • Gianpiero Cabodi
   • Sergio Nocco
   • Stefano Quer

   Special section on Bounded Model Checking 25 January 2005 Pages: 129 - 142

6. Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure

   • Bing Li
   • Chao Wang
   • Fabio Somenzi

   Special section on Bounded Model Checking 24 February 2005 Pages: 143 - 155

7. A survey of recent advances in SAT-based formal verification

   • Mukul R. Prasad
   • Armin Biere
   • Aarti Gupta

   Special section on Bounded Model Checking 25 January 2005 Pages: 156 - 173

8. Computational challenges in bounded model checking

   • Edmund Clarke
   • Daniel Kroening
   • Ofer Strichman

   Special section on Bounded Model Checking 15 February 2005 Pages: 174 - 183

9. Functional programming languages for verification tools: a comparison of Standard ML and Haskell

   • Martin Leucker
   • Thomas Noll
   • Michael Weber

   Regular contribution 15 February 2005 Pages: 184 - 194