Login / Signup
Contract Strengthening through Constrained Horn Clause Verification.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
HCVS/VPT@ETAPS (2022)
Keyphrases
</>
horn clauses
logic programs
first order logic
inference rules
inductive logic programming
model checking
face verification
machine learning
search engine
contextual information
temporal logic
formal methods
formal verification
transaction costs