T2: Temporal Property Verification.
Marc BrockschmidtByron CookSamin IshtiaqHeidy KhlaafNir PitermanPublished in: CoRR (2015)
Keyphrases
- spatio temporal
- temporal information
- temporal constraints
- spatial and temporal
- model checking
- temporal data
- temporal databases
- temporal relations
- functional verification
- information systems
- space time
- temporal reasoning
- linear temporal logic
- temporal analysis
- temporal evolution
- face verification
- database
- bayesian networks
- case study
- real time