1. Formal Verification of the VAMP Floating Point Unit

   • Christian Jacobi
   • Christoph Berg

   OriginalPaper Pages: 227 - 266

2. Checking Timed Büchi Automata Emptiness Efficiently

   • Stavros Tripakis
   • Sergio Yovine
   • Ahmed Bouajjani

   OriginalPaper Pages: 267 - 292

3. Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics

   • T. Karvi
   • M. Tienari
   • R. Kaivola

   OriginalPaper Pages: 293 - 317

4. Reduced Models for Efficient CCS Verification

   • Roberto Barbuti
   • Nicoletta De Francesco
   • Gigliola Vaglini

   OriginalPaper Pages: 319 - 350