Temporal Runtime Verification using Monadic Difference Logic
Henrik Reif AndersenKåre J. KristoffersenPublished in: CoRR (2007)
Keyphrases
- asynchronous circuits
- linear temporal logic
- model checking
- bounded model checking
- verification method
- temporal information
- spatio temporal
- temporal logic
- temporal reasoning
- temporal data
- model checker
- modal logic
- temporal evolution
- formal verification
- convex functions
- proof theory
- epistemic logic
- classical logic
- databases
- multi valued
- temporal patterns
- relational databases