Application of Formal Methods to Signalling Systems Using Techniques Based on Stepwise Refinement

Benefits can be expected from the use of formal methods in increasing the reliability of software. In preparing the formal specifications of complicated systems from a preliminary draft text, stepwise revisions are very useful in creating specifications that are easily understandable and in producing verified code that satisfies the specifications.