Counterexample-guided inference of controller logic from execution traces and temporal formulas.
Daniil ChivilikhinIgor BuzhinskyVladimir I. UlyantsevAndrey StankevichAnatoly ShalytoValeriy VyatkinPublished in: ETFA (2018)
Keyphrases
- execution traces
- linear temporal logic
- model checking
- logical inference
- source code
- deductive reasoning
- linear time temporal logic
- inference mechanism
- temporal information
- predicate calculus
- logic programming
- abductive reasoning
- bayesian networks
- modal logic
- program comprehension
- closed loop
- horn clauses
- rewrite systems
- formal verification
- predicate logic
- databases
- temporal logic
- computer science
- high level