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
-
Informal Description
of the Tree Identify Protocol
- International Workshop on Application of Formal Methods to
IEEE 1394 Standard. Co-located with
FME 2001
in Berlin, Germany. 13th March 2001
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.