Verifying Systems with Replicated Components in Murphi
Abstract elided by the publisher.
Related papers
- Parallelizing the Murphi Verifier CAV 1997
- Using Magnatic Disk Instead of Main Memory in the Murphi Verifier CAV 1998
- Verifying eventual consistency of optimistic replication systems POPL 2014
- Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols ICFP 2023
- The Murphi Verification System CAV 1996
- Asphalion: trustworthy shielding against Byzantine faults OOPSLA 2019
- Planning for change in a formal verification of the raft consensus protocol CPP 2016
- Structural Invariants for the Verification of Systems with Parameterized Architectures TACAS 2020