A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification.
Sascha LehmannSven-Thomas AntoniAlexander SchlaeferSibylle SchuppPublished in: CyPhy/WESE (2018)
Keyphrases
- metric temporal logic
- model checking
- quantitative and qualitative
- qualitative and quantitative
- real world
- symbolic execution
- verification method
- high security
- data structure
- execution environment
- program execution
- face verification
- concurrent execution
- execution model
- plan generation
- test generation
- formal verification
- plan execution
- database
- query optimization
- expert systems
- multi agent
- database systems
- artificial intelligence
- data sets
- real time