Checking Formal Specifications under Simulation.

William Canfield, E. Allen Emerson, Avijit Saha

Browse the full ICCD paper archive.