Proof-guided underapproximation-widening for multi-process systems.

Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald

Browse the full POPL paper archive.