Runtime Verification of Spatio-Temporal Specification Language.
Tengfei LiJing LiuHaiying SunXiaohong ChenLing YinXia MaoJunfeng SunPublished in: Mob. Networks Appl. (2021)
Keyphrases
- specification language
- spatio temporal
- symbolic execution
- formal specification
- model checking
- model checker
- programming language
- description language
- spatial and temporal
- formal methods
- moving objects
- software environment
- image sequences
- spatio temporal data
- space time
- requirements specification
- temporal logic
- software engineering
- orders of magnitude
- building blocks
- multi agent systems
- data structure
- multi agent
- case study