(redirected from Proof of correctness)
Also found in: Dictionary, Thesaurus.
References in periodicals archive ?
A college degree, a course in Java, use of semaphores, a proof of correctness or years of programming experience do not guarantee anything.
The optional SPARK Pro toolset component of GNAT Pro High-Security was designed to support formal proof of correctness to meet high security requirements for levels EAL 5 and higher.
I am not advocating the formal proof of correctness of all programs.