Executable specifications in software reliability engineering

mentions the use of formal methods for fault re-moval [9]: “When formal methods are in full swing, formal design proofs might be avail-able to achieve mathematical proof of correctness for programs. Also, fault-monitoring assertions could be employed through executable specifications, and test-cases... View More