Refinement preserving approximations for the design and verification of heterogeneous systems Roberto PasseroneJerry R. BurchAlberto L. Sangiovanni-Vincentelli OriginalPaper 12 October 2006 Pages: 1 - 33
Learning to verify branching time properties Abhay VardhanMahesh Viswanathan OriginalPaper 29 December 2006 Pages: 35 - 61
Exploiting interleaving semantics in symbolic state-space generation Gianfranco CiardoGerald LüttgenAndrew S. Miner OriginalPaper 11 January 2007 Pages: 63 - 100