This chapter introduces the FDR tool and the CSP notation. The concept of refinement (the heart of FDR) is discussed and some of its applications are described. The last section gives a realistic case-study to illustrate a common use of refinement and FDR.
Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.