Verifying a distributed list system: A case history (original) (raw)

Decision Procedures for the Temporal Verification of Concurrent Lists

CESAR CAMILO MORENO SANCHEZ

Lecture Notes in Computer Science, 2010

View PDFchevron_right

Verifying distributed programs via canonical sequentialization

Alexander Bakst

Proceedings of the ACM on Programming Languages, 2017

View PDFchevron_right

Formal Verification of Distributed Algorithms

Christina Rickmann

Lecture Notes in Computer Science, 2012

View PDFchevron_right

Verifying properties of well-founded linked lists

S. Qadeer

ACM SIGPLAN Notices, 2006

View PDFchevron_right

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

R. Manevich, Eran Yahav, G. Ramalingam

View PDFchevron_right

CSP-Prover - A proof tool for the verification of scalable concurrent systems

Yoshinao Isobe

2008

View PDFchevron_right

Verification of Distributed Programs Using Representative Interleaving Sequences

Shmuel Katz

Distributed Computing, 1992

View PDFchevron_right

A comparison of runtime assertion checking and theorem proving for concurrent and distributed systems

Olaf Owe

View PDFchevron_right

Formal verification of replication on a distributed data space architecture

Jozef Hooman

Proceedings of the 2002 ACM symposium on Applied computing - SAC '02, 2002

View PDFchevron_right

Towards a Formal Verification of a Secure and Distributed System and its Applications

Myla Archer

Computers & Security, 1995

View PDFchevron_right

A Proof System for Communicating Sequential Processes

Willem-Paul de Roever

ACM Transactions on Programming Languages and Systems, 1980

View PDFchevron_right

Verifying Fault-Tolerant Distributed Algorithms in the Heard-Of Model

Ronald Ocampo

2012

View PDFchevron_right

Model Checking of Linearizability of Concurrent List Implementations

Pavol Cerny

Lecture Notes in Computer Science, 2010

View PDFchevron_right

An Improvement in Formal Verification

Gerard Holzmann

Formal Description Techniques VII, 1995

View PDFchevron_right

On Verification of Parallel Message-Passing Processes

Olav Lysne

Formal Aspects of Computing, 2002

View PDFchevron_right

Verification Techniques for Distributed Algorithms

Anna Philippou

Lecture Notes in Computer Science, 2006

View PDFchevron_right

SNAP: A Validator/Annotator for Proofs of Distributed Programs

Ramesh Bharadwaj

View PDFchevron_right

A compositional proof system for shared variable concurrency

Willem-Paul de Roever

FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

View PDFchevron_right

A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes

CESAR CAMILO MORENO SANCHEZ

Lecture Notes in Computer Science, 2011

View PDFchevron_right

Proving Correctness of a Distributed Shared Memory Implementation

miguel castro

1999

View PDFchevron_right

Parallel and Distributed Methods in Verification

Ivana Cerná

Journal of Logic and Computation, 2011

View PDFchevron_right

The C@S System: Combining Proof Strategies for System Verication

Thomas Kropf

2000

View PDFchevron_right

Algorithmic Verification of Single-Pass List Processing Programs

Pavol Cerny

Arxiv preprint arXiv:1007.4958, 2010

View PDFchevron_right

Formal Proofs of Local Computation Systems

Mohamed Mosbah

View PDFchevron_right

Verification of Concurrent Objects with Asynchronous Method Calls

Johan Dovland, Olaf Owe

View PDFchevron_right

Pretend synchrony: synchronous verification of asynchronous distributed programs

Alexander Bakst

Proceedings of the ACM on Programming Languages, 2019

View PDFchevron_right

Towards Verified Systems

Jonathan Bowen

Real-Time Safety Critical Systems series, 1994

View PDFchevron_right

Tasks in Modular Proofs of Concurrent Algorithms

Armando Molina Castañeda

Lecture Notes in Computer Science, 2019

View PDFchevron_right

Verification of distributed systems with local–global predicates

BRIAN GO

Formal Aspects of Computing, 2010

View PDFchevron_right

A Theory of Singly-Linked Lists and its Extensible Decision Procedure

Silvio Ranise

2006

View PDFchevron_right

Theoretical issues in the design and verification of distributed systems

Aravinda Sistla

1983

View PDFchevron_right

Formally Verifying the Distributed Shared Memory Weak Consistency Models

Venkateswarlu chennareddy, Jatindra Deka

2006 International Conference on Advanced Computing and Communications, 2006

View PDFchevron_right

Formal Verification of Consensus Algorithms in a Proof Assistant

Ronald Ocampo

2010

View PDFchevron_right

Proving Atomicity: An Assertional Approach

Joshua Tauber, Sayan Mitra

Lecture Notes in Computer Science, 2005

View PDFchevron_right

Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems

Burkhart Wolff

Lecture Notes in Computer Science, 2013

View PDFchevron_right