The tree identify protocol of IEEE 1394 in CRL

DOI10.1007/S001650050030MaRDI QIDQ1125432zbMATH OpenOpenAlexFDO

Authors Carron Shankland, Mark B. van der Zwaag

Publication date 6 December 1999

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL http://dspace.stir.ac.uk/bitstream/1893/10699/1/facs98.pdf

zbMATH Keywords

tree identify protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
• Verifying the IEEE 1394 fireWire tree identify protocol with SMV
• Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol
• IEEE 1394 tree identify protocol: Introduction to the case study
• False loop detection in the IEEE 1394 tree identify phase

Cited in

(12)

• Focus points and convergent process operators: A proof strategy for protocol verification
• IEEE 1394 tree identify protocol: Introduction to the case study
• A mechanically proved and incremental development of IEEE 1394 tree identify protocol
• Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
• Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol
• Verifying the IEEE 1394 fireWire tree identify protocol with SMV
• False loop detection in the IEEE 1394 tree identify phase
• The cones and foci proof technique for timed transition systems
• On the expressiveness of choice quantification
• The leader election protocol of IEEE 1394 in Maude
• The parallel composition of uniform processes with data
• Cones and foci: A mechanical framework for protocol verification

This page was built for publication: The tree identify protocol of IEEE 1394 in \(\mu\)CRL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1125432)