Final Report of the COST-247 Action

Description and Formal Specification of the Link Layer of P1394

Bas Luttik

 Center for Mathematics and Computer Science (CWI) P.O. Box 94079, 1090 GB Amsterdam, The Netherlands. Programming Research Group, University of Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands. Tel: +31 20 592 4247 Fax: +31 20 592 4199 E-mail: luttik@cwi.nl

### Abstract:

We give a formal specification in $\mu$CRL of the Link Layer as described in the IEEE Standard P1394 that may serve as a starting point for further verification.

This presentation has been given during the COST-247 2nd International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia, June 18-19, 1997).

COST-247 Working Group(s):