A Sound and Complete Axiomatisation for Spatio-Temporal Specification Language.
Tengfei LiJing LiuDongdong AnHaiying SunPublished in: SEKE (2019)
Keyphrases
- specification language
- spatio temporal
- set of inference rules
- inference rules
- formal specification
- programming language
- description language
- software environment
- spatial and temporal
- image sequences
- moving objects
- spatio temporal data
- symbolic execution
- modal logic
- search algorithm
- software engineering
- fine grained
- first order logic
- databases
- evolutionary algorithm
- knowledge base
- requirements specification
- xml keys
- artificial intelligence