A Semantics Driven Temporal Verification System.
Graham GoughHoward BarringerPublished in: ESOP (1988)
Keyphrases
- temporal dimension
- temporal relations
- formal semantics
- temporal information
- spatial and temporal
- temporal databases
- logic programming
- model checking
- temporal constraints
- spatio temporal
- temporal data
- formal verification
- temporal reasoning
- semantic information
- asynchronous circuits
- databases
- verification method
- concurrent systems
- temporal consistency
- operational semantics
- database
- linear temporal logic
- face verification
- conceptual model
- relational databases
- multi agent systems
- face recognition
- high level
- data sets