1997
Description and formal specification of the link layer of P1394
Publication
Publication
We give a formal specification in $mu$CRL of the Link Layer as described in the IEEE document ``P1394 Standard for a High Performance Serial Bus''; this specification may serve as a starting point for further verification.
Additional Metadata | |
---|---|
Network Protocols (acm C.2.2), Requirements/Specifications (acm D.2.1), Software/Program Verification (acm D.2.4) | |
Network design and communication (msc 68M10), Specification and verification (program logics, model checking, etc.) (msc 68Q60) | |
CWI | |
Software Engineering [SEN] | |
Luttik, S.P. (1997). Description and formal specification of the link layer of P1394. Software Engineering [SEN]. CWI.
|