Formal Methods and Verification

Formal methods involve representing an implementation and a specification within a formal theory or calculus. Verification compares the representations within the formal theory, reasoning that under particular constraints the implementation ensures the specification is (or is not) met.