Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking.

Nils Timm Stefan Gruner Matthias Harvey

Published in: SBMF (2018)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
learning objects
inductive learning
inference rules
decision problems
modal logic
global constraints
linear constraints
program synthesis