Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols

DOI10.1109/TSE.1987.232877zbMath0626.68031OpenAlexW2088546322MaRDI QIDQ3030248

Sudhir Aggarwal, Daniel Barbará, Kalman Z. Meth

Publication date: 1987

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1987.232877

zbMATH Keywords

verificationformal description techniquescommunication protocolssoftware environment

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (2)

Concurrent regular expressions and their relationship to Petri nets ⋮ Specification and analysis of a data transfer protocol using systems of communicating machines

This page was built for publication: Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols