"formal methods" -
related articles and key terms
Related terms:
abstract
specification
software
Wikipedia sources:
Software development process
Static code analysis
Context for words:
formal
methods