research
∙
05/06/2021
There and Back Again: From Bounded Checking to Verification of Program Equivalence via Symbolic Up-to Techniques
We present a bounded equivalence verification technique for higher-order...
share
research
∙
05/13/2020
Bisimilarity in fresh-register automata
Register automata are a basic model of computation over infinite alphabe...
research
∙
02/21/2020
Symbolic Execution Game Semantics
We present a framework for symbolically executing and model checking hig...
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
∙
04/05/2018