Analysis and Transformation Tools for Constrained Horn Clause Verification.

John P. Gallagher Bishoksan Kafle

Published in: CoRR (2014)

Keyphrases

artificial intelligence
analysis tool
horn clauses
database
data analysis
formal methods
relational databases
image analysis
data model
probabilistic model
decision support
software tools