Symbolic Equivalence Checking
No abstract available.
DOI 10.1007/3-540-56922-7_8
Related papers
- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques TACAS 2022
- Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests POPL 2015
- Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries CGO 2019
- Checking equivalence in a non-strict language OOPSLA 2022
- Checking equivalence in a non-strict language JFP 2025
- Octopus: Practical Equivalence Checking of P4 Packet Parsers CAV 2026
- A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract APLAS 2007
- Symbolic computation of differential equivalences POPL 2016