Login / Signup
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
CILC (2019)
Keyphrases
</>
horn clauses
case study
symbolic execution
logic programs
low level
sorting algorithms
databases
learning algorithm
feature selection
high level
bayesian networks
natural language
text classification
model checking
hardware designs