Mechanically Verified Self-Stabilizing Hierarchical Algorithms
Abstract elided by the publisher.
Related papers
- Self-stabilization preserving compiler TOPLAS 2009
- An Alternative Solution to a Problem on Self-Stabilization TOPLAS 1993
- Self-stabilizing Java PLDI 2012
- Uniform Self-Stabilizing Rings TOPLAS 1989
- Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes OOPSLA 2025
- Homeostasis: Design and Implementation of a Self-Stabilizing Compiler TOPLAS 2024
- Why3-do: The Way of Harmonious Distributed System Proofs ESOP 2022
- Implicit Rankings for Verifying Liveness Properties in First-Order Logic TACAS 2025