correctness specification
1.In this paper, we present a formal description of a NEUT transport protocol(NEUT-TP4)using Estelle,which is compatible with the ISO class 4 transport protocol, and a semiautomatic implementation of it using an Estelle -C compiler. We find the semiautomatic approach offers several advantages over conventional manual method, including correctness and modularity in protocol implementation code, confirmance to the specification, and reduction inimplementation time.
