The ins and outs of first-order runtime verification.
Andreas BauerJan-Christoph KüsterGil VegliachPublished in: Formal Methods Syst. Des. (2015)
Keyphrases
- model checking
- higher order
- linear temporal logic
- verification method
- formal verification
- face verification
- databases
- multiscale
- signature verification
- first order logic
- horn clauses
- stochastic dominance
- quantifier elimination
- formal methods
- mobile robot
- data model
- database systems
- case study
- decision trees
- information retrieval