ProMoVer: Modular Verification of Temporal Safety Properties.
Siavash SoleimanifardDilian GurovMarieke HuismanPublished in: SEFM (2011)
Keyphrases
- temporal properties
- model checking
- temporal information
- spatio temporal
- temporal evolution
- case study
- desirable properties
- data sets
- temporal relations
- temporal data
- temporal constraints
- structural properties
- monitoring system
- temporal patterns
- similarity measure
- decision trees
- information retrieval
- database
- temporal ordering