An Implementation of an Automated Protocol Synthesizer (APS) and Its Application to the X.21 Protocol
C. V. Ramamoorthy, Shouling Dong, Yutaka Usuda · IEEE Transactions on Software Engineering · 1985
In the past, a number of methods have been proposed to model and validate communication protocols that have already been designed. However, design criteria and design aids are still lacking for designing correct protocols. The objective of developing automated protocol synthesizers is to provide a systematic way of designing new communication protocols such that their correctness can be ensured.