1.Previous
3.Next

type systems, and type theory.

Uses

Formal methods can be applied at various points through the development process.

Specification

Formal methods may be used to give a formal description of the system to be developed, at whatever level of detail desired. Further formal methods may depend on this specification to synthesize a program or to verify the correctness of a system.

Alternatively,

1.Previous
3.Next