A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol

DOI10.1016/J.ENTCS.2009.05.054zbMath1347.68238OpenAlexW1965707096MaRDI QIDQ5179365

Paul Regnier, Aline Andrade, George Lima

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.054

zbMATH Keywords

verificationformal specificationTLA+real-time protocol

Mathematics Subject Classification ID

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

Uses Software

• TLC

Cites Work

• Correct Hardware Design and Verification Methods
• Unnamed Item

This page was built for publication: A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol