Specification decomposition for synthesis from libraries of LTL Assume/Guarantee contracts.
Antonio IannopolloStavros TripakisAlberto L. Sangiovanni-VincentelliPublished in: DATE (2018)
Keyphrases
- linear temporal logic
- transition systems
- model checking
- formal verification
- bounded model checking
- functional decomposition
- temporal logic
- decomposition method
- high level
- digital libraries
- supply chain
- formal specification
- specification language
- logic synthesis
- reactive systems
- linear time temporal logic
- deterministic automata
- concurrent systems
- decomposition methods
- image decomposition
- decomposition algorithm
- formal methods
- texture synthesis
- heuristic search
- business processes
- functional programs
- multi agent systems
- bayesian networks