Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications.
Hillel KuglerItai SegallPublished in: TACAS (2009)
Keyphrases
- reactive systems
- model checking
- temporal logic
- information flow
- petri net
- formal methods
- control flow
- transition systems
- state machines
- real time systems
- artificial intelligence
- program synthesis
- software engineering
- user interface
- database systems
- web services
- finite state machines
- formal specification
- information systems
- databases
- real time