Finite state modelling in program development
Peter B. Henderson · ACM SIGPLAN Notices · 1975
A technique is presented whereby a significant amount of program validation can be done simply by exercising the program components in a model environment provided by a finite state machine, specially built to characterise the real environment of that component. The tools necessary to support such a technique are characterised and the merits and demerits of the technique are discussed.