Temporal Reasoning for Procedural Programs.

Rajeev Alur, Swarat Chaudhuri

Browse the full VMCAI paper archive.