Verification of Equivalent-Results Methods
No abstract available.
Related papers
- Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting TACAS 2026
- PolyCheck: dynamic verification of iteration space transformations on affine programs POPL 2016
- QEBVerif: Quantization Error Bound Verification of Neural Networks CAV 2023
- A monadic framework for relational verification: applied to information security, program equivalence, and optimizations CPP 2018
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- Abstraction for conflict-free replicated data types PLDI 2021
- Scalable Equivalence Checking and Verification of Shallow Quantum Circuits OOPSLA 2025
- Equivalence and Similarity Refutation for Probabilistic Programs PLDI 2024