Title :
Protocol verification using concurrent paths
Author :
Liu, Wen-Chien ; Chyan-Goei Chung
Author_Institution :
Dept. of Comput. Sci. & Inf. Eng., Nat. Chiao Tung Univ., Hsinchu, Taiwan
Abstract :
To overcome the state explosion problem, we proposed the path-based approach, representing the system as a set of concurrent paths. The concurrent paths can be generated automatically and verified independently, thus the complexity of verification is reduced and the problem is alleviated.
Keywords :
computational complexity; protocols; complexity; concurrent paths; path-based approach; protocol verification; state explosion problem; Binary decision diagrams; Boolean functions; Computer science; Data structures; Explosions; Performance analysis; Protocols; Safety; Testing;
Conference_Titel :
Communications, 1999. APCC/OECC '99. Fifth Asia-Pacific Conference on ... and Fourth Optoelectronics and Communications Conference
Conference_Location :
Beijing, China
Print_ISBN :
7-5635-0402-8
DOI :
10.1109/APCC.1999.820476
