Applications of Formal Methods to IEEE 1394 (FireWire)
The FireWire is a challenging modelling and verification problem for the
Formal Methods community. The Tree Identify Protocol section is an
easily accessible, self-contained part of that standard, and makes ideal
material for a comparative case study.
BCS Specialist Group Formal Aspects of Computing Science
Formal Methods Europe
There is now a special issue of FACJ on formal approaches to IEEE 1394.
Formal Aspects of Computing 14 (3), 2003.
There is more information on
For further information
one of the organising committee:
of the Tree Identify Protocol
- International Workshop on Application of Formal Methods to
IEEE 1394 Standard. Co-located with
in Berlin, Germany. 13th March 2001
Department of Computing Science and Mathematics, University of Stirling.
Computing Science Department, University of Nijmegen.
Last revision: 22nd July 2003.