Development of communication protocols using algebraic and temporal specifications ?
The paper pursues two main goals. First, an attempt is made to specify and verify protocols in a completely rigorous manner using the formalisms of temporal logic and algebraic specification. Secondand even more importantthe protocol specifications are not presented as monolithic pieces of text, but rather are developed in a stepwise process, evolving from simple genotypes into the final complex products. This is illustrated with selected fragments of the TCP/IP protocol.
communication protocols temporal logic algebraic specification formal development stepwise refinement