Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs.

Anders Franzén

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

functional programs
satisfiability modulo theories
modulo theories
model checking
inductive logic programming
answer sets
artificial intelligence
evolutionary algorithm
knowledge representation
concept learning