- Record: found
- Abstract: found
- Book Chapter: found
Tools and Algorithms for the Construction and Analysis of Systems
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts
other
Andreas Katis ,
Grigory Fedyukovich ,
Huajun Guo ,
Andrew Gacek ,
John Backes ,
Arie Gurfinkel ,
Michael W. Whalen
April 14 2018
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references18
- Record: found
- Abstract: not found
- Book Chapter: not found
SAT-Based Model Checking without Unrolling
Aaron R. Bradley (2011)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Dimensions in program synthesis
Sumit Gulwani (2010)
- Record: found
- Abstract: not found
- Book Chapter: not found
Counterexample-Guided Quantifier Instantiation for Synthesis in SMT
Andrew Reynolds, Morgan Deters, Viktor Kuncak … (2015)