TeSSLa: Temporal Stream-Based Specification Language.
Lukas ConventSebastian HungereckerMartin LeuckerTorben ScheffelMalte SchmitzDaniel ThomaPublished in: SBMF (2018)
Keyphrases
- specification language
- formal specification
- description language
- programming language
- data streams
- software environment
- temporal data
- spatio temporal
- symbolic execution
- temporal information
- spatial and temporal
- linear temporal logic
- sliding window
- temporal constraints
- temporal reasoning
- model checker
- machine learning
- model checking
- heuristic search
- artificial intelligence