Applications of Formal Methods to IEEE 1394 (FireWire)

Supported by
BCS Specialist Group Formal Aspects of Computing Science
Formal Methods Europe

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.

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 contact one of the organising committee:
Carron Shankland,
Savi Maharaj,
Department of Computing Science and Mathematics, University of Stirling.
Judi Romijn,
Computing Science Department, University of Nijmegen.

Last revision: 22nd July 2003.