FMSE 1 - Overview

Specific Formal Methods

• Formal Method 1: Use a program verifier
• Formal Method 2: Use a language that contains constraints
• Formal Method 3: Build a model in a specification language and test for consistency
• Formal Method 4: Use Contract Checkers

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