Using Simulated Execution in Verifying Distributed Algorithms
Abstract elided by the publisher.
Related papers
- A Probabilistic Logic for Verifying Continuous-time Markov Chains TACAS 2022
- Shaking Up Quantum Simulators with Fuzzing and Rigour OOPSLA 2025
- Compositional Specification and Verification of Distributed Systems TOPLAS 1994
- Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking CAV 2012
- PSync: a partially synchronous language for fault-tolerant distributed algorithms POPL 2016
- On verifying causal consistency POPL 2017
- Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow PLDI 2026
- Disens: scalable distributed sensor network simulation PPoPP 2007