Extending CTL to Specify Quantitative Temporal Requirements.
Ammar MohammedUlrich FurbachPublished in: MSVVEIS (2010)
Keyphrases
- temporal properties
- linear temporal logic
- model checking
- temporal logic
- spatio temporal
- temporal information
- qualitative and quantitative
- user requirements
- spatial and temporal
- temporal reasoning
- temporal patterns
- data sets
- temporal constraints
- temporal analysis
- temporal relations
- formal specification
- bounded model checking
- epistemic logic
- temporal data
- quantitative measures
- temporal evolution
- temporal databases
- application specific
- quantitative and qualitative
- artificial intelligence