"formal specification" -
related articles and key terms
Related terms:
verification
Wikipedia sources:
Formal methods
Specification (technical standard)
Context for words:
formal
specification