Specification and Verification Yuri Gurevich RaghuMani EECS Department,...  Home/Search
Context
Related
| microsoft.com/~gurevich/Opera...106.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: microsoft.com/~gurevi...annotated (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper, wewanted to look at a time-constrained algorithm that does something useful and poses some challenge to specify and verify. Our colleague Farnam Jahanian brought Cristian's article on group membership protocols [2] to our attention. In this paper, we specify and verify one of the protocols presented in that article. It is an interesting protocol to verify as we need to specify and prove both timing as well as functional properties (Update)
Similar documents (at the sentence level):
77.6%: Group Membership Protocol: Specification and Verification - Gurevich, Mani (Correct)
Active bibliography (related documents): More All
0.0: Formalizing Database Recovery - Gurevich, Soparkar, Wallace (1997) (Correct)
0.0: Evolving Algebras 1993: Lipari Guide - Gurevich (1995) (Correct)
0.0: Typed Gurevich Machines Revisited - Zamulin (1997) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ specification-group,
author = "Specification And Verification",
title = "Group Membership Protocol:",
url = "citeseer.ist.psu.edu/754009.html" }
Citations (may not include all citations):373 UNIX Network Programming (context) - Stevens - 1990
141 Using Process Groups to ImplementFailure Detection in Asynch.. (context) - Ricciardi, Birman - 1991
132 Reaching Agreement on Processor-Group Membership in Synchron.. - Cristian - 1991
84 Evolving Algebras (context) - Gurevich - 1993
55 Processor Group Membership Protocols: Specification (context) - Jahanian, Rajkumar et al. - 1993
40 Evolving Algebras: An Attempt to Discover Semantics - Gurevich - 1993
22 The Bakery Algorithm: Yet Another Specification and Verifica.. - Borger, Gurevich et al. - 1994
2 Specification and Validation Methods for Programming Languag.. (context) - Huggins, Specification et al. - 1994
Documents on the same site (http://research.microsoft.com/~gurevich/annotated.html): More
UsingAbstra Star Ma hinesa Microsoft: ACa Study.. - Yuri Gurevich Wolfram (Correct)
Spectra of Monadic Second-Order Formulas with One Unary Function - Gurevich, Shelah (2003) (Correct)
The Results - One Of The (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC