Sign in
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification.
Emanuele De Angelis
Fabio Fioravanti
Alberto Pettorossi
Maurizio Proietti
Published in:
HCVS/PERR@ETAPS (2019)
Keyphrases
</>
horn clauses
logic programs
case study
first order logic
symbolic execution
model checking
general purpose
logic programming
answer sets
sorting algorithms
imperative programs
databases
data points
test bed
formal methods
probabilistic model
xml documents