next up previous

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


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):

Web Links :

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page