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

DOI10.1016/J.MCM.2009.06.001zbMath1185.68074OpenAlexW2041852817MaRDI QIDQ970002

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

zbMATH Keywords

theorem provingPVSconnection establishment protocolnarrow bandwidth

Mathematics Subject Classification ID

Network protocols (68M12)

Uses Software

• PVS

Cites Work

• Unnamed Item
• Extending Hoare logic to real-time
• Theorem Proving in Higher Order Logics

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