Login / Signup
Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability.
Andreas Katis
Grigory Fedyukovich
Andrew Gacek
John D. Backes
Arie Gurfinkel
Michael W. Whalen
Published in:
CoRR (2016)
Keyphrases
</>
program synthesis
supply chain
theorem prover
texture synthesis
theorem proving
decision procedures
real time
data sets
search engine
image processing
mathematical proofs