Generalised Test Tables: A Practical Specification Language for Reactive Systems.
Bernhard BeckertSuhyun ChaMattias UlbrichBirgit Vogel-HeuserAlexander WeiglPublished in: IFM (2017)
Keyphrases
- specification language
- reactive systems
- formal specification
- model checking
- description language
- programming language
- formal methods
- databases
- software environment
- case study
- temporal logic
- artificial intelligence
- real world
- database
- knowledge management
- general purpose
- real time systems
- test cases
- orders of magnitude
- petri net
- information flow
- search algorithm
- control flow