Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms
Abstract elided by the publisher.
Related papers
- Reducing liveness to safety in first-order logic POPL 2018
- Sound Verification Procedures for Temporal Properties of Infinite-State Systems CAV 2021
- Ivy: safety verification by interactive generalization PLDI 2016
- Parameterized Synthesis with Safety Properties APLAS 2020
- Verifying Infinite State Processes with Sequential and Parallel Composition POPL 1995
- Ivy: A Multi-modal Verification Tool for Distributed Algorithms CAV 2020
- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking TACAS 2019
- Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions CAV 2022