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

DOI10.1016/J.MCM.2009.06.001MaRDI QIDQ970002zbMATH OpenOpenAlexFDO

Authors Hai Wan, Gu Ming, Xiaoyu Song

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

zbMATH Keywords

theorem provingPVSconnection establishment protocolnarrow bandwidth

Mathematics Subject Classification ID

Network protocols (68M12)

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

Cites work

• scientific article; zbMATH DE number 1630111 (Why is no real title available?)
• Extending Hoare logic to real-time
• Theorem Proving in Higher Order Logics

Cited in

(5)

• scientific article; zbMATH DE number 2087628 (Why is no real title available?)
• Analysis of meeting protocols by formalisation, simulation, and verification
• Proving properties of the Chord protocol using the ASM formalism
• Formal Modeling of Communication Protocols by Graph Transformation
• scientific article; zbMATH DE number 1424027 (Why is no real title available?)

Describes a project that uses

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)