Temporal Property Verification as a Program Analysis Task.
Byron CookEric KoskinenMoshe Y. VardiPublished in: CAV (2011)
Keyphrases
- temporal information
- temporal data
- spatial and temporal
- spatio temporal
- temporal databases
- temporal relations
- temporal reasoning
- temporal constraints
- desirable properties
- temporal dimension
- video sequences
- formal verification
- concurrent systems
- real world
- temporal characteristics
- temporal structure
- temporal patterns
- model checking
- case study
- computer vision