Program Verification via Predicate Constraint Satisfiability Modulo Theories.

Hiroshi Unno Yuki Satake Tachio Terauchi Eric Koskinen

Published in: CoRR (2020)

Keyphrases

satisfiability modulo theories
modulo theories
constraint solvers
search algorithm
first order logic
constraint programming
constraint solving
linear programming
constraint networks