The ACM Computing Classification System (1991)
D.2.4 Program Verification
Assertion checkers
Correctness proofs
Reliability
Validation
Return to:
D.2 SOFTWARE ENGINEERING
D. Software
The ACM Computing Classification System (1991)
Overview of 1991 ACM Classification System