A Theory of Consistency for Modular Synchronous Systems.

Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel

Browse the full FMCAD paper archive.