An Extension of LTL with Rules and Its Application to Runtime Verification.
Klaus HavelundDoron PeledPublished in: RV (2019)
Keyphrases
- linear time temporal logic
- model checking
- bounded model checking
- cut elimination
- linear temporal logic
- temporal logic
- natural deduction
- formal verification
- association rules
- rule sets
- sequent calculus
- data sets
- verification method
- deterministic automata
- linear logic
- rule extraction
- face verification
- model checker
- rule induction
- business rules
- production rules
- modal logic
- classification rules
- association rule mining
- domain experts
- artificial intelligence
- database