Invariant Checking for SMT-based Systems with Quantifiers.

Gianluca Redondi Alessandro Cimatti Alberto Griggio Kenneth McMillan

Published in: CoRR (2024)

Keyphrases

complex systems
data mining
information retrieval
search engine
knowledge based systems
database
data sets
learning algorithm
intelligent systems
learning systems
first order logic
affine transformation