Browsing by Subject "operational game semantics"
Now showing items 1-2 of 2
-
From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques
(Springer, 2022)We present a bounded equivalence verification technique for higher-order programs with local state. This technique combines fully abstract symbolic environmental bisimulations similar to symbolic game semantics, novel up-to ... -
Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques
(2021)We present a bounded equivalence verification tool called Hobbit for higher-order programs with local state—based on a subset of OCaml—that combines fully abstract symbolic environmental bisimulations, novel up-to techniques, ...