1. Refinement preserving approximations for the design and verification of heterogeneous systems

   • Roberto Passerone
   • Jerry R. Burch
   • Alberto L. Sangiovanni-Vincentelli

   OriginalPaper 12 October 2006 Pages: 1 - 33

2. Learning to verify branching time properties

   • Abhay Vardhan
   • Mahesh Viswanathan

   OriginalPaper 29 December 2006 Pages: 35 - 61

3. Exploiting interleaving semantics in symbolic state-space generation

   • Gianfranco Ciardo
   • Gerald Lüttgen
   • Andrew S. Miner

   OriginalPaper 11 January 2007 Pages: 63 - 100