research

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus(FireWire)Protocol

Authors
Publication date
1 January 2003
Publisher
'Springer Science and Business Media LLC'
Doi

    Abstract

    We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled in Promela and verified using SPIN. The verification of arbitrary system configurations is discussed

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      Last time updated on 02/01/2020

      Enlighten

      redirect
      oaioai:eprints.gla.ac.uk:2876
      Last time updated on 02/07/2012