research
∙
06/28/2023
Proving Confluence in the Confluence Framework with CONFident
This article describes the *Confluence Framework*, a novel framework for...
share
research
∙
08/13/2018
Proving Program Properties as First-Order Satisfiability
Program semantics can often be expressed as a (many-sorted) first-order ...
research
∙
09/15/2017
