Lemma Generation for Horn Clause Satisfiability: A Preliminary Study

by Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Published 2019-08-01

Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification

by Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Published 2019-07-01

Verification of Imperative Programs by Constraint Logic Program Transformation

by Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Published 2013-09-01

Removing Unnecessary Variables from Horn Clause Verification Conditions

by Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti
Published 2016-07-01

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs

by Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
Published 2018-09-01