TY  - RPRT
TI  - Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
AU  - Andreas Katis
AU  - Grigory Fedyukovich
AU  - Huajun Guo
AU  - Andrew Gacek
AU  - John Backes
AU  - Arie Gurfinkel
AU  - Michael W. Whalen
PY  - 2018
UR  - https://arxiv.org/abs/1709.04986
ID  - 1709.04986
ER  -