×
卡尔蒂基扬·巴尔干;达沃·奥布拉多维奇;卡尔·A·冈特。

距离向量路由协议标准的形式验证。 （英文） Zbl 1326.68039号

美国临床医学杂志 49，第4期，538-576（2002）.

引用于14文件

MSC公司：

68个M12 网络协议
60年第68季度 规范和验证（程序逻辑、模型检查等）
68吨15 定理证明（演绎、解析等）（MSC2010）

关键词：

AODV公司;形式验证;HOL公司;安息;自旋蛋白;距离矢量布线;交互式定理证明;模型检查;网络标准;路由协议

软件：

HOL/旋转;自旋蛋白;HOL公司
PDF格式BibTeX公司 XML格式引用
\textit{K.Bhargavan}等人，J.ACM 49，No.4，538--576（2002；Zbl 1326.68039）
全文： 内政部