Verification of distributed real-time and fault-tolerant protocols

J.J.M. Hooman

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)

Samenvatting

An assertional method to verify distributed real-time and fault-tolerant protocols is presented. To obtain mechanical support, the verification system PVS is used. General PVS theories are developed to deal with timing and failures. As a characteristic example, we verify a processor-group membership protocol, dealing with a dynamically changing network of processors and reasoning in terms of local clocks. Further we show some basic theories for the verification of the underlying synchronous atomic broadcast service.
Originele taal-2Engels
TitelAlgebraic Methodology and Software Technology (Proceedings 6th International Conference, AMAST'97, Sydney, Australia, December 13-17, 1997)
RedacteurenM. Johnson
UitgeverijSpringer
Pagina's261-275
ISBN van geprinte versie3-540-63888-1
DOI's
StatusGepubliceerd - 1997

Publicatie series

NaamLecture Notes in Computer Science
Volume1349
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Verification of distributed real-time and fault-tolerant protocols'. Samen vormen ze een unieke vingerafdruk.

Citeer dit