A computer aided incremental protocol verification system
碩士 === 國立成功大學 === 資訊工程研究所 === 81 === Protocol verification is an activity to detect logical errors in communication protocols. Global state reachability analysis is one of the most straightforward and easily automated protocol verification methods. In order to improve the efficiency of global state...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Others |
Language: | zh-TW |
Published: |
1993
|
Online Access: | http://ndltd.ncl.edu.tw/handle/46539410583333020131 |