This chapter presents a short tutorial on formulating a specification and creating implementations. FDR is then used to show whether the implementation is valid, with respect to the specification.
Go to the Next or Previous section, the Detailed Contents, or the FS(E)L Home Page.