基于SMV的网络协议形式化分析与验证

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于SMV的网络协议形式化分析与验证

文静华;;余滨;张梅;李祥

Formal Analysis and Verification for Network Protocols Based on SMV

WEN Jinghua;;YU Bin;ZHANG Mei;LI Xiang

计算机工程 . 2006, (15): 135 -136, . DOI: 10.3969/j.issn.1000-3428.2006.15.048