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

Browse the full TACAS paper archive.