Spectra: a specification language for reactive systems.
Shahar MaozJan Oliver RingertPublished in: Softw. Syst. Model. (2021)
Keyphrases
- specification language
- reactive systems
- formal specification
- model checking
- formal methods
- temporal logic
- programming language
- information flow
- description language
- petri net
- control flow
- software environment
- real time
- requirements specification
- information systems
- database
- communication networks
- object oriented
- real world