LTL Generalized Model Checking Revisited.

Patrice Godefroid, Nir Piterman

Browse the full VMCAI paper archive.