1. Modelling Asynchrony with a Synchronous Model

   • R.P. Kurshan
   • M. Merritt
   • S.R. Sachs

   OriginalPaper Pages: 175 - 199

2. Undefined Expressions and Logic in Z and B

   • Bill Stoddart
   • Steve Dunne
   • Andy Galloway

   OriginalPaper Pages: 201 - 215

3. On-the-Fly Model Checking Under Fairness that Exploits Symmetry

   • Viktor Gyuris
   • A. Prasad Sistla

   OriginalPaper Pages: 217 - 238

4. Model-Checking with Coverability Graphs

   • Karsten Schmidt

   OriginalPaper Pages: 239 - 254