Compositional Model Checking for Multi-properties.

Ohad Goudsmid, Orna Grumberg, Sarai Sheinvald

Browse the full VMCAI paper archive.