Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections

DOI10.1016/J.MCM.2009.06.001zbMATH Open1185.68074OpenAlexW2041852817MaRDI QIDQ970002FDOQ970002

Xiaoyu Song, Gu Ming, Hai Wan

Publication date: 8 May 2010

Published in: Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00516025/file/Formal_Specification_and_Verification_of_A_Narrow_Bandwidth_Protocol_in_PVS.pdf

Recommendations

• scientific article; zbMATH DE number 2202252
• Publication:4945217
• Proving properties of the Chord protocol using the ASM formalism
• scientific article; zbMATH DE number 3892605
• Specification and verification of the classical sliding window protocol

zbMATH Keywords

theorem provingPVSconnection establishment protocolnarrow bandwidth

Mathematics Subject Classification ID

Network protocols (68M12)

Cites Work

• Extending Hoare logic to real-time
• Title not available (Why is that?)
• Theorem Proving in Higher Order Logics

Cited In (4)

• Analysis of meeting protocols by formalisation, simulation, and verification
• Formal Modeling of Communication Protocols by Graph Transformation
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• PVS

This page was built for publication: Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q970002)