Verifying the IEEE 1394 fireWire tree identify protocol with SMV

DOI10.1007/S001650300005zbMath1029.68021OpenAlexW2057037535MaRDI QIDQ1402475

Viktor Schuppan, Armin Biere

Publication date: 27 August 2003

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650300005

zbMATH Keywords

Model checkingFormal methodsProtocol verificationIEEE 1394 FireWire

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items (1)

Kripke modelling and verification of temporal specifications of a multiple UAV system

Uses Software

• Uppaal2k
• NuSMV
• SATO

This page was built for publication: Verifying the IEEE 1394 fireWire tree identify protocol with SMV