Verifying Catamorphism-Based Contracts using Constrained Horn Clauses.

Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti

Published in: CoRR (2022)

Keyphrases

horn clauses
inference rules
conceptual clustering
first order logic
logic programs
database queries
inductive logic programming
lattice theory
supply chain
machine learning
model checking
constraint satisfaction problems
context aware
general purpose
knowledge representation
high level
database