1. Accelerating Bounded Model Checking of Safety Properties

   • Ofer Strichman

   OriginalPaper Pages: 5 - 24

2. SAT-Solving the Coverability Problem for Petri Nets

   • Parosh Aziz Abdulla
   • S. Purushothaman Iyer
   • Aletta Nylén

   OriginalPaper Pages: 25 - 43

3. A Constructive Approach to Hardware/Software Partitioning

   • Leila Silva
   • Augusto Sampaio
   • Edna Barros

   OriginalPaper Pages: 45 - 90