Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm
No abstract available.
Related papers
- Combining Algebraic and Algorithmic Reasoning: An Approach to the Schorr-Waite Algorithm TOPLAS 1982
- Program Verification by Coinduction ESOP 2018
- Unfolding pointer algorithms JFP 2001
- The Evolution of List-Copying Algorithms POPL 1979
- Automated Verification of Monotonic Data Structure Traversals in C CAV 2025
- A Recipe for Modular Verification of Generic Tree Traversals CPP 2026
- Verifying Graph Algorithms in Separation Logic: A Case for an Algebraic Approach ICFP 2025
- Analysis of Pointer Rotation POPL 1980