Theory-Aided Model Checking of Concurrent Transition Systems.

Guy Katz, Clark W. Barrett, David Harel

Browse the full FMCAD paper archive.