1. An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation

   • Ratan Nalumasu
   • Ganesh Gopalakrishnan

   OriginalPaper Pages: 231 - 247

2. Generating Model Checkers from Algebraic Specifications

   • Teodor Rus
   • Eric Van Wyk
   • Tom Halverson

   OriginalPaper Pages: 249 - 284

3. An Improvement of McMillan's Unfolding Algorithm

   • Javier Esparza
   • Stefan Römer
   • Walter Vogler

   OriginalPaper Pages: 285 - 310

4. On WLCDs and the Complexity of Word-Level Decision Diagrams—A Lower Bound for Division

   • Christoph Scholl
   • Bernd Becker
   • Thomas Weis

   OriginalPaper Pages: 311 - 326