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 Whalen

Artifact for the paper "Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts" , including benchmark suite that was used to conduct the experiments.

History

Usage metrics

Keywords

Program synthesis Realizability Assume-Guarantee Contracts Fixpoint computation Formal Methods Formal Verification Applied Computer Science

Licence

MIT

Exports

RefWorks

BibTeX

Ref. manager

Endnote

DataCite

NLM