A Synchronous Effects Logic for Temporal Verification of Pure Esterel.

Yahui Song, Wei-Ngan Chin

Browse the full VMCAI paper archive.