research
∙
09/10/2021
Competition Report: CHC-COMP-21
CHC-COMP-21 is the fourth competition of solvers for Constrained Horn Cl...
share
research
∙
07/31/2021
Solving Constrained Horn Clauses over ADTs by Finite Model Finding
First-order logic is a natural way of expressing the properties of compu...
research
∙
04/09/2021
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
First-order logic is a natural way of expressing properties of computati...
research
∙
09/25/2020
Synthesis of Infinite-State Systems with Random Behavior
Diversity in the exhibited behavior of a given system is a desirable cha...
research
∙
07/08/2019
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
This volume contains the joint post-proceedings of the 3rd Workshop on P...
research
∙
09/14/2017