This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Protocol Validation for Large-Scale Applications
January/February 1992 (vol. 9 no. 1)
pp. 23-26

A threefold strategy incorporating formal modeling, structural decomposition and functional abstraction, and reachability analysis is described, and the role of each part in managing complexity is examined. Formal modeling helps weed out extraneous detail so that later work on decomposition and abstraction is easier. Decomposition and abstraction help divide complexity into manageability parts that the reachability algorithm can solve. Examples of the use of each are given.

Index Terms:
large-scale applications; threefold strategy; formal modeling; structural decomposition; functional abstraction; reachability analysis; complexity; manageability; computational complexity; formal specification; program verification; protocols
Citation:
Fuchun Joseph Lin, Ming T. Liu, "Protocol Validation for Large-Scale Applications," IEEE Software, vol. 9, no. 1, pp. 23-26, Jan.-Feb. 1992, doi:10.1109/52.108776
Usage of this product signifies your acceptance of the Terms of Use.