Formal Verification of Safety Properties Using Interpolation and k-induction.

Tephilla Prince Atif Abdur Rahman Sheerazuddin Syed

Published in: CoRR (2022)

Keyphrases

formal verification
model checking
bounded model checking
desirable properties
model checker
automated verification
symbolic model checking
data sets
machine learning
decision trees
inductive logic programming
temporal logic
constructive induction
linear interpolation