research
∙
08/30/2023
ABA Learning via ASP
Recently, ABA Learning has been proposed as a form of symbolic machine l...
share
research
∙
05/25/2023
Learning Assumption-based Argumentation Frameworks
We propose a novel approach to logic-based learning which generates assu...
research
∙
11/28/2022
Multiple Query Satisfiability of Constrained Horn Clauses
We address the problem of checking the satisfiability of a set of constr...
research
∙
11/22/2022
Contract Strengthening through Constrained Horn Clause Verification
The functional properties of a program are often specified by providing ...
research
∙
11/19/2022
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation
These proceedings include selected papers presented at the 9th Workshop ...
research
∙
05/12/2022
Verifying Catamorphism-Based Contracts using Constrained Horn Clauses
We address the problem of verifying that the functions of a program meet...
research
∙
11/23/2021
Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach
We address the problem of checking the satisfiability of Constrained Hor...
research
∙
08/02/2021
Analysis and Transformation of Constrained Horn Clauses for Program Verification
This paper surveys recent work on applying analysis and transformation t...
research
∙
08/07/2020
Transformational Verification of Quicksort
Many transformation techniques developed for constraint logic programs, ...
research
∙
04/16/2020
Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates
We address the problem of proving the satisfiability of Constrained Horn...
research
∙
08/20/2019
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study
It is known that the verification of imperative, functional, and logic p...
research
∙
07/09/2019
Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification
The proof of a program property can be reduced to the proof of satisfiab...
research
∙
09/13/2018
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
Dynamically typed languages, like Erlang, allow developers to quickly wr...
research
∙
04/24/2018
Solving Horn Clauses on Inductive Data Types Without Induction
We address the problem of verifying the satisfiability of Constrained Ho...
research
∙
09/14/2017
Enhancing Predicate Pairing with Abstraction for Relational Verification
Relational verification is a technique that aims at proving properties t...
research
∙
08/23/2017
Proceedings Fifth International Workshop on Verification and Program Transformation
This volume contains the proceedings of the Fifth International Workshop...
research
∙
08/04/2017
Predicate Pairing for Program Verification
It is well-known that the verification of partial correctness properties...
research
∙
10/07/2014
Ontology-based Representation and Reasoning on Process Models: A Logic Programming Approach
We propose a framework grounded in Logic Programming for representing an...
research
∙
10/05/2011