research
∙
09/10/2021
Regular Path Clauses and Their Application in Solving Loops
A well-established approach to reasoning about loops during program anal...
share
research
∙
09/09/2021
Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis
This volume contains the post-proceedings of the 8th Workshop on Horn Cl...
research
∙
08/06/2021
Transformation-Enabled Precondition Inference
Precondition inference is a non-trivial problem with important applicati...
research
∙
08/07/2020
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation
We investigate representations of imperative programs as constrained Hor...
research
∙
11/16/2018
Precondition Inference via Partitioning of Initial States
Precondition inference is a non-trivial task with several applications i...
research
∙
04/17/2018
An iterative approach to precondition inference using constrained Horn clauses
We present a method for automatic inference of conditions on the initial...
research
∙
03/05/2018
Tree dimension in verification of constrained Horn clauses
In this paper, we show how the notion of tree dimension can be used in t...
research
∙
06/13/2016