7 citations · 12 across the 5 of their papers we have counts for
5 papers
CHC-COMP 2023: Competition Report
Emanuele De Angelis, Hari Govind V K
CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Work…
ABA Learning via ASP
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
Recently, ABA Learning has been proposed as a form of symbolic machine learning for drawing Assumption-Based Argumentation frameworks from background knowledge and positive and neg…
Contract Strengthening through Constrained Horn Clause Verification
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
The functional properties of a program are often specified by providing a contract for each of its functions. A contract of a function consists of a pair of formulas, called a prec…
Verification of Time-Aware Business Processes using Constrained Horn Clauses
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo +2
We present a method for verifying properties of time-aware business processes, that is, business process where time constraints on the activities are explicitly taken into account.…
Verification of Programs by Combining Iterated Specialization with Interpolation
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas +1
We present a verification technique for program safety that combines Iterated Specialization and Interpolating Horn Clause Solving. Our new method composes together these two techn…