FMSE 1 - Overview

Specific Formal Methods

Formal Method 2: Use a language that contains constraints

• Prolog
• Similar to type checking?
• Similar to abstract data types?

JMJL Please send your comments to Jonathan. This document was updated 21/10/2003.