1. Introduction

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.

This document was generated by Phil Armstrong on May 17, 2012 using texi2html 1.82.