Pan - A Protocol Specification Analyzer
Gerard J. Holzmann · 2002
Pan is a program that can analyze the consistency of protocol specification for up to ten interacting processes. The validation method is based on a special algebra for an extended type of regular expressions, named protocol expressions. A protocol specification is written in a CSP-like language that includes concatenation, selection, and looping (but no variables). Pan analyzes an average protocol faster than troff prepares an average paper. Unlike troff though, the execution time of pan is more sensitive to the quality than to the size of its victim. (Bell Labs Technical Memorandum 81-11271-5, May 22, 1981.)