The ACM Computing Classification System (1991) D.2.4 Program Verification Assertion checkers Correctness proofs Reliability Validation
