First-Order Temporal Verification in Practice.
M. Carmen Fernández GagoUllrich HustadtClare DixonMichael FisherBoris KonevPublished in: J. Autom. Reason. (2005)
Keyphrases
- linear temporal logic
- spatio temporal
- higher order
- temporal information
- model checking
- spatial and temporal
- temporal databases
- temporal logic
- temporal data
- artificial intelligence
- bounded model checking
- face verification
- temporal reasoning
- temporal evolution
- functional verification
- formal verification
- temporal characteristics
- data sets
- formal methods
- temporal constraints
- first order logic
- video sequences
- search engine
- machine learning