artifact.zip (137.56 MB)
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
Version 3 2018-01-23, 19:20
Version 2 2018-01-23, 18:28
Version 1 2018-01-09, 15:36
software
posted on 2018-01-23, 19:20 authored by Andreas KatisAndreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie GurfinkelArie Gurfinkel, Michael WhalenArtifact for the paper "Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts" , including benchmark suite that was used to conduct the experiments.