1. Foreword

   • Albert Benveniste
   • Axel Poigné

   OriginalPaper Pages: 5 - 6

2. Bounded Model Checking Using Satisfiability Solving

   • Edmund Clarke
   • Armin Biere
   • Yunshan Zhu

   OriginalPaper Pages: 7 - 34

3. On the Effective Deployment of Functional Formal Verification

   • Yael Abarbanel-Vinov
   • Neta Aizenbud-Reshef
   • Tali Yatzkar-Haham

   OriginalPaper Pages: 35 - 44

4. LSCs: Breathing Life into Message Sequence Charts

   • Werner Damm
   • David Harel

   OriginalPaper Pages: 45 - 80

5. Formal Methods in Designing Embedded Systems—the SACRES Experience

   • Klaus Winkelmann

   OriginalPaper Pages: 81 - 110