Discriminative Model Checking.

Peter Niebert, Doron A. Peled, Amir Pnueli

Browse the full CAV paper archive.