Spectra: A Specification Language for Reactive Systems.
Shahar MaozJan Oliver RingertPublished in: CoRR (2019)
Keyphrases
- specification language
- reactive systems
- formal specification
- model checking
- formal methods
- description language
- programming language
- temporal logic
- information flow
- petri net
- control flow
- software environment
- requirements specification
- general purpose
- planning domains
- reverse engineering
- software engineering
- real time