Program verification
Robert S. Boyer, J Strother Moore · Defense Technical Information Center (DTIC) · 1985
Computer programs may be regarded as formal mathematical objects whose properties are subject to mathematical proof. Program verification is the use of formal, mathematical techniques to debug software and software specifications. (Author)