Login / Signup
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.
Andreas Katis
Grigory Fedyukovich
Huajun Guo
Andrew Gacek
John Backes
Arie Gurfinkel
Michael W. Whalen
Published in:
TACAS (2) (2018)
Keyphrases
</>
reactive systems
model checking
petri net
temporal logic
information flow
formal methods
control flow
supply chain
program synthesis
real time systems
state machines
artificial intelligence
texture synthesis
real time
databases
natural language