|
| 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 |
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.
Back to the VASY Home page