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
∙
02/21/2020
Symbolic Execution Game Semantics
We present a framework for symbolically executing and model checking hig...
research
∙
04/05/2018
