1. Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

   • Nikolaj S. Bjørner
   • Anca Browne
   • Tomás E. Uribe

   OriginalPaper Pages: 227 - 270

2. Floating Point Verification in HOL Light: The Exponential Function

   • John Harrison

   OriginalPaper Pages: 271 - 305

3. Verification of a Leader Election Protocol: Formal Methods Applied to IEEE 1394

   • Marco Devillers
   • David Griffioen
   • Frits Vaandrager

   OriginalPaper Pages: 307 - 320