Verifying the IEEE 1394 fireWire tree identify protocol with SMV
From MaRDI portal
Recommendations
- Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol
- The tree identify protocol of IEEE 1394 in \(\mu\)CRL
- Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
- IEEE 1394 tree identify protocol: Introduction to the case study
- Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS
Cited in
(9)- False loop detection in the IEEE 1394 tree identify phase
- IEEE 1394 tree identify protocol: Introduction to the case study
- Specification and verification of the tree identify protocol of IEEE 1394 in rewriting logic
- Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol
- Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS
- Kripke modelling and verification of temporal specifications of a multiple UAV system
- A mechanically proved and incremental development of IEEE 1394 tree identify protocol
- Fun with fireWire: A comparative study of formal verification methods applied to the IEEE 1394 root contention protocol
- Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k
This page was built for publication: Verifying the IEEE 1394 fireWire tree identify protocol with SMV
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1402475)
