Verifying a distributed list system: A case history (original) (raw)
Related papers
Decision Procedures for the Temporal Verification of Concurrent Lists
Lecture Notes in Computer Science, 2010
Verifying distributed programs via canonical sequentialization
Proceedings of the ACM on Programming Languages, 2017
Formal Verification of Distributed Algorithms
Lecture Notes in Computer Science, 2012
Verifying properties of well-founded linked lists
ACM SIGPLAN Notices, 2006
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
R. Manevich, Eran Yahav, G. Ramalingam
CSP-Prover - A proof tool for the verification of scalable concurrent systems
2008
Verification of Distributed Programs Using Representative Interleaving Sequences
Distributed Computing, 1992
Formal verification of replication on a distributed data space architecture
Proceedings of the 2002 ACM symposium on Applied computing - SAC '02, 2002
Towards a Formal Verification of a Secure and Distributed System and its Applications
Computers & Security, 1995
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems, 1980
Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model
2012
Model Checking of Linearizability of Concurrent List Implementations
Lecture Notes in Computer Science, 2010
An Improvement in Formal Verification
Formal Description Techniques VII, 1995
On Verification of Parallel Message-Passing Processes
Formal Aspects of Computing, 2002
Verification Techniques for Distributed Algorithms
Lecture Notes in Computer Science, 2006
SNAP: A Validator/Annotator for Proofs of Distributed Programs
A compositional proof system for shared variable concurrency
FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997
A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes
Lecture Notes in Computer Science, 2011
Proving Correctness of a Distributed Shared Memory Implementation
1999
Parallel and Distributed Methods in Verification
Journal of Logic and Computation, 2011
The C@S System: Combining Proof Strategies for System Verication
2000
Algorithmic Verification of Single-Pass List Processing Programs
Arxiv preprint arXiv:1007.4958, 2010
Formal Proofs of Local Computation Systems
Verification of Concurrent Objects with Asynchronous Method Calls
Pretend synchrony: synchronous verification of asynchronous distributed programs
Proceedings of the ACM on Programming Languages, 2019
Real-Time Safety Critical Systems series, 1994
Tasks in Modular Proofs of Concurrent Algorithms
Lecture Notes in Computer Science, 2019
Verification of distributed systems with local–global predicates
Formal Aspects of Computing, 2010
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
2006
Theoretical issues in the design and verification of distributed systems
1983
Formally Verifying the Distributed Shared Memory Weak Consistency Models
Venkateswarlu chennareddy, Jatindra Deka
2006 International Conference on Advanced Computing and Communications, 2006
Formal Verification of Consensus Algorithms in a Proof Assistant
2010
Proving Atomicity: An Assertional Approach
Lecture Notes in Computer Science, 2005
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
Lecture Notes in Computer Science, 2013