Correctness of Communications Protocols, A case Study

During the past few years, the technology for formal specification and verification of communication protocols has matured to the point where we believe that it now provides practical assistance for protocol design and validation.

Bibliographic Details
Main Authors:	Søgaard-Andersen, Jørgen, Lynch, Nancy A., Lampson, Butler W.
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149754

Similar Items

Liveness in Timed and Untimed Systems
by: Gawlick, Rainer, et al.
Published: (2023)

Partial Correctness of Communicating Processes and Protocols
by: Hoare, C, et al.
Published: (1981)

Multilevel Atomicity: A New Correctness Criterion for Database Concurrency Control
by: Lynch, Nancy A.
Published: (2023)

Hierarchical Correctness Proofs for Distributed Algorithms
by: Lynch, Nancy A., et al.
Published: (2023)

The Singapore government's corrective communication: a case study of its COVID-19 falsehood corrections
by: Nadan, Enoch
Published: (2022)

Provably correct on−chip communication: A formal approach to automatic protocol converter synthesis
by: Avnit, K, et al.
Published: (2009)

Correctness Proof for a Network Synchronizer
by: Devarajan, Harish, et al.
Published: (2023)

Correctness Conditions for Highly Available Replicated Databases
by: Lynch, Nancy A., et al.
Published: (2023)

A compositional logic for protocol correctness
by: Durgin, N, et al.
Published: (2001)

MultiChord: A Resilient Namespace Management Protocol
by: Lynch, Nancy, et al.
Published: (2005)

Proving Correctness of a Controller Algorithm for the RAID Level 5 System
by: Vazirir, Mandana, et al.
Published: (2023)

Quantum Error Correction for Communication.
by: Ekert, A, et al.
Published: (1996)

Error Correction in Quantum Communication
by: Ekert, A, et al.
Published: (1996)

Communication and correctness in Timed CSP
by: Roscoe, A, et al.
Published: (1990)

I/O Automaton Models and Proofs for Shared-Key Communication Systems
by: Lynch, Nancy A.
Published: (2023)

Correctness and communication in real-time systems
by: Schneider, S, et al.
Published: (1989)

Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
by: Umeno, Shinya, et al.
Published: (2012)

The Impact of Synchronous Communication on. The Problem of Electing a Leader in a Ring
by: Lynch, Nancy A., et al.
Published: (2023)

A Calculus of Total Correctness for Communicating Processes
by: Hoare, C
Published: (1981)

The Generalized Railroad Crossing: A Case Study in Formali Verification of Real-time Systems
by: Heitmeyer, Constance, et al.
Published: (2023)

Partial Correctness of Communicating Sequential Processes
by: Chaochen, Z, et al.
Published: (2015)

Partial Correctness of Communicating Sequential Processes
by: Zhou, C, et al.
Published: (1981)

Simulating fixed virtual nodes for adapting wireline protocols to MANET
by: Wu, Jiang, et al.
Published: (2010)

Specifying and Using a Partitionable Group Communication Service*
by: Fekete, Alan, et al.
Published: (2023)

Verification of the Randomized Consensus Algorithm of Aspnes and Herlihy: a Case Study*
by: Pogosyants, Anna, et al.
Published: (2023)

Controlling Worst-case Performance of a Communication Protocol and Dynamic Resource Management
by: Awerbuch, Baruch
Published: (2023)

Correcting for Interference in Experiments: A Case Study at Douyin
by: Farias, Vivek, et al.
Published: (2023)

Correctness of Vehicle Control Systems: A Case Study
by: Weinberg, Henri B.
Published: (2023)

Correctness of vehicle control systems a case study
by: Weinberg, Henri B. (Henri Bernard)
Published: (2008)

Proving the correctness of data link layer protocol in FDDI networks
by: Er, Chuan Teck
Published: (2009)

Forward error correction in optical communication systems
by: Xie, Bing
Published: (2010)

The Consistency of the Calculus of Total Correctness for Communicating Processes
by: Hoare, C, et al.
Published: (1982)

A Modular Proof of Correctness for a Network Synchronizer
by: Fekete, A., et al.
Published: (2023)

Study protocol: the empirical investigation of methods to correct for measurement error in biobanks with dietary assessment.
by: Bennett, D, et al.
Published: (2011)

An industrial fms communication protocol:
by: Perpustakaan UGM, i-lib
Published: (1990)

A novel error correction scheme in quantum key distribution (QKD) protocol
by: Lee, Siao Ping, et al.
Published: (2015)

A Dynamic Primary View Group Communication Service
by: De Prisco, Roberto, et al.
Published: (2023)

Studies of cooperation protocols for cooperative wireless communication networks
by: Goli Prasannakumar
Published: (2016)

An Optimized Hardware Architecture and Communication Protocol for Scheduled Communication
by: Shoemaker, David
Published: (2023)