Temporal property verification as a program analysis task - Extended Version.
Byron CookEric KoskinenMoshe Y. VardiPublished in: Formal Methods Syst. Des. (2012)
Keyphrases
- spatio temporal
- temporal data
- model checking
- spatial and temporal
- neural network
- temporal information
- databases
- temporal consistency
- time stamped
- temporal relations
- temporal patterns
- desirable properties
- temporal constraints
- temporal reasoning
- database
- spatial data
- space time
- expert systems
- face verification
- case study
- computer vision
- asynchronous circuits