1. Formal Verification of Dynamic Properties in an Aerospace Application

   • Simin Nadjm-Tehrani
   • Jan-Erik Strömberg

   OriginalPaper Pages: 135 - 169

2. Model-Based Verification of a Security Protocol for Conditional Access to Services

   • G. Leduc
   • O. Bonaventure
   • C. Pecheur

   OriginalPaper Pages: 171 - 191

3. Validation of HOL Proofs by Proof Checking

   • Wai Wong

   OriginalPaper Pages: 193 - 212

4. A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View

   • J Strother Moore

   OriginalPaper Pages: 213 - 228