What are Formal Methods?

• Formal Method (FM) =

  specification language + formal reasoning
  

• Body of techniques supported by

  • precise mathematics
  • powerful analysis tools

• Rigorous effective mechanisms for system

  • modeling
  • synthesis
  • analysis

Specification

Implementation

synthesis

analysis

modeling

Next slide

Back to first slide

View graphic version