Validity-guided synthesis of reactive systems from assume-guarantee contracts

Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Fingerprint Dive into the research topics of 'Validity-guided synthesis of reactive systems from assume-guarantee contracts'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science