Abstraction-Based Model Checking Using Modal Transition Systems.

Patrice Godefroid, Michael Huth, Radha Jagadeesan

Browse the full CONCUR paper archive.