Specification decomposition for reactive synthesis.
Bernd FinkbeinerGideon GeierNoemi PassingPublished in: Innov. Syst. Softw. Eng. (2023)
Keyphrases
- reactive systems
- functional decomposition
- decomposition method
- specification language
- high level
- texture synthesis
- formal verification
- image decomposition
- formal specification
- genetic algorithm
- hierarchical decomposition
- program synthesis
- logic synthesis
- model checking
- user defined
- agent architecture
- metadata
- computer vision