Contents

The FDR tool and this User Manual are Copyright © 1992-97, Formal Systems (Europe) Ltd.

• Detailed Contents
• Acknowledgements

• Introduction
• Using FDR
• Tutorial
• Intermediate FDR
• Advanced Topics

• Syntax Reference
• Migrating to FDR2.28
• Direct control of FDR
• Bibliography

Go to the Next section, the Detailed Contents, or the FS(E)L Home Page.