1. A Comparison of Free BDDs and Transformed BDDs

   • Detlef Sieling
   • Ingo Wegener

   OriginalPaper Pages: 223 - 236

2. Theorem Proving Guided Development of Formal Assertions in a Resource-Constrained Scheduler for High-Level Synthesis

   • Naren Narasimhan
   • Elena Teica
   • Ranga Vemuri

   OriginalPaper Pages: 237 - 273

3. Relaxed Visibility Enhances Partial Order Reduction

   • Doron Peled
   • Antti Valmari
   • Ilkka Kokkarinen

   OriginalPaper Pages: 275 - 289

4. Model Checking of Safety Properties

   • Orna Kupferman
   • Moshe Y. Vardi

   OriginalPaper Pages: 291 - 314