LCS Publications: Recent submissions

Now showing items 244-246 of 1152

    • Correctness of Communications Protocols, A case Study 

      Søgaard-Andersen, Jørgen; Lynch, Nancy A.; Lampson, Butler W. (1993-11)
      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.

    • Correctness Proof for a Network Synchronizer 

      Devarajan, Harish; Fekete, Alan; Lynch, Nancy A.; Shrira, Liuba (1993-12)
      In this paper we offer a formal, rigorous proof of the correctness of Awerbuch's algorithm for network synchronization [1]. We specify both the algorithm and the correctness condition using the I/O automaton model.

    • Liveness in Timed and Untimed Systems 

      Gawlick, Rainer; Segala, Roberto; Søgaard-Andersen, Jørgen; Lynch, Nancy A. (1993-12)
      When proving the correctness of algorithms in distributed systems, one generally considers safety conditions and liveness conditions. The Input /Output (I/)0 automaton model and its timed version have used successfully, ...