Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol

DOI10.1007/S001650300004zbMath1029.68013DBLPjournals/fac/CalderM03OpenAlexW1998194544WikidataQ59675403 ScholiaQ59675403MaRDI QIDQ1402474

Muffy Calder, Alice Ann Miller

Publication date: 27 August 2003

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

Full work available at URL: https://doi.org/10.1007/s001650300004

zbMATH Keywords

SPINModel checkingFormal verification

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items (1)

An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols

Uses Software

• PVS
• Java PathFinder

This page was built for publication: Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol