✦ LIBER ✦

Formal protocol specification and conformance testing: Four tutorial papers

✍ Scribed by Harry Rudin; Colin H. West

Book ID: 103620451
Publisher: Elsevier Science
Year: 1987
Tongue: English
Weight: 116 KB
Volume: 14
Category: Article
ISSN: 0169-7552
DOI: 10.1016/0169-7552(87)90083-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Three tutorial papers on protocol specif

Three tutorial papers on protocol specification, validation, and design

✍ Luigi Logrippo; Robert L Probert; Hasan Ural 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 203 KB

FODA — the formal specification of ODA d

FODA — the formal specification of ODA document structures and its use as a basis for conformance testing

✍ Wolfgang Appelt 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 587 KB

Development of formal models and conform

Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols

✍ N. V. Pakulin; A. V. Khoroshilov 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 207 KB

Rigorous specification and conformance t

Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

✍ Bishop, Steve; Fairbairn, Matthew; Norrish, Michael; Sewell, Peter; Smith, Micha 📂 Article 📅 2005 🏛 Association for Computing Machinery 🌐 English ⚖ 292 KB

[ACM Press the 2005 conference - Philade

[ACM Press the 2005 conference - Philadelphia, Pennsylvania, USA (2005.08.22-2005.08.26)] Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications - SIGCOMM '05 - Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets

✍ Bishop, Steve; Fairbairn, Matthew; Norrish, Michael; Sewell, Peter; Smith, Micha 📂 Article 📅 2005 🏛 ACM Press 🌐 English ⚖ 292 KB

Network protocols are hard to implement correctly. Despite the existence of RFCs and other standards, implementations often have subtle differences and bugs. One reason for this is that the specifications are typically informal, and hence inevitably contain ambiguities. Conformance testing against s