Category:Formal methods terminology

Terminology associated with formal methods, a mathematical branch of software engineering.