Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS

DOI10.1007/S100090050018zbMath1065.68596OpenAlexW2046066316MaRDI QIDQ1856183

Radu Mateescu, Mihaela Sighireanu

Publication date: 2 February 2003

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

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

zbMATH Keywords

formal methodstemporal logicformal description techniqueslabeled transition systemsprotocol engineeringdatagram protocolE-LotosIEEE-1394Lotos

Mathematics Subject Classification ID

Theory of computing (68Q99)

Related Items (3)

Equivalence checking 40 years after: a review of bisimulation tools ⋮ Dynamic and formal verification of embedded systems: A comparative survey ⋮ Symbolic Reachability for Process Algebras with Recursive Data Types

Uses Software

• CADP
• Unnamed Item
• Unnamed Item

This page was built for publication: Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS