|Final Report of the COST-247 Action|
Description and Formal Specification of the Link Layer of P1394
|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 : http://www.cwi.nl/~luttik/
This Page was prepared by Mark Jorgensen.