Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts.
Andreas KatisGrigory FedyukovichHuajun GuoAndrew GacekJohn BackesArie GurfinkelMichael W. WhalenPublished in: CoRR (2017)
Keyphrases
- reactive systems
- model checking
- temporal logic
- information flow
- petri net
- supply chain
- control flow
- state machines
- formal methods
- program synthesis
- databases
- texture synthesis
- belief revision
- formal semantics
- formal specification
- anomaly detection
- object oriented
- user interface
- training data
- artificial intelligence
- machine learning