The ACM Computing Classification System (1991)

D.2.4 Program Verification

  • Assertion checkers
  • Correctness proofs
  • Reliability
  • Validation