False loop detection in the IEEE 1394 tree identify phase

DOI10.1007/S001650300008zbMath1029.68020OpenAlexW2075339603MaRDI QIDQ1402479

Judi Romijn

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/s001650300008

zbMATH Keywords

AlgorithmVerificationTimed automataReal-timeSpanning treeDynamic networkLoop detectionProtocol

Mathematics Subject Classification ID

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

Uses Software

• Uppaal2k
• Uppaal

This page was built for publication: False loop detection in the IEEE 1394 tree identify phase