A timed verification of the IEEE 1394 leader election protocol

A timed verification of the IEEE 1394 leader election protocol (2001)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Judi Romijn

Venue:	FORMAL METHODS IN SYSTEM DESIGN
Citations:	13 - 1 self

BibTeX

@INPROCEEDINGS{Romijn01atimed,
    author = {Judi Romijn},
    title = {A timed verification of the IEEE 1394 leader election protocol},
    booktitle = {FORMAL METHODS IN SYSTEM DESIGN},
    year = {2001},
    pages = {3--29},
    publisher = {}
}

Bookmark

OpenURL

Abstract

Citations

1311	Distributed Algorithms - Lynch - 1996
437	M.R.: An Introduction to Input/Output Automata - Lynch, Tuttle - 1989
350	Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987
348	Temporal Verification of Reactive Systems: Safety - Manna, Pnueli - 1995
296	Formal Verification for Fault-tolerant Architectures: Prolegomena to the Design of PVS - Owre, Rushby, et al. - 1995
233	N.A.: Probabilistic simulations for probabilistic processes - Segala, Lynch - 1994
81	Liveness in timed and untimed systems - Gawlick, Segala, et al. - 1993
77	The syntax and semantics of µCRL - Groote, Ponse - 1995
68	Verifying hybrid systems - Manna, Pnueli - 1992
65	A brief history of Timed CSP - Schneider, Davies - 1995
37	IOA: A Language for Specifying, Programming, and Validating Distributed Systems - Garland, Lynch, et al. - 2001
37	F.: Forward and backward simulations, I: Untimed systems - Lynch, Vaandrager - 1995
34	Focus points and convergent process operators. A proof strategy for protocol verification - Groote, Springintveld - 2001
31	How to write a long formula - Lamport - 1993
29	Mechanical verification of timed automata: A case study - Archer, Heitmeyer - 1996
26	Verification of a leader election protocol - formal methods applied to - Devillers, Griffioen, et al. - 2000
18	der Zwaag, “The tree identify protocol of - Shankland, van
15	Description and formal specification of the link layer of P1394 - Luttik - 1997
15	Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): an experiment with E-LOTOS. Software Tools for Technology Transfer - Sighireanu, Mateescu - 1998
15	Root contention - Stoelinga, Vaandrager - 1999
13	Normed simulations - Griffioen, Vaandrager - 1998
11	Timewise refinement for communicating processes - Schneider - 1997
5	Towards mechanical verification of parts of the IEEE P1394 serial bus - Kuhne, Hooman, et al. - 1997
1	Computer Society. IEEE Standard for a High Performance Serial Bus. Std 1394-1995 - IEEE - 1996
1	Computer Society. Draft Standard for a High Performance - IEEE - 1999
1	and Timed I/O Automata 29 [24 - Safe - 1995