A timed verification of the IEEE 1394 Leader election protocol

DOI10.1023/A:1011284000753zbMath0989.68095MaRDI QIDQ5959853

Judi Romijn

Publication date: 11 April 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

protocolIEEE 1394 architecture

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Uses Software

• Uppaal2k
• E-LOTOS
• PVS
• Uppaal

This page was built for publication: A timed verification of the IEEE 1394 Leader election protocol