The ACM Computing Classification System (1998)

D.2.4 Software/Program Verification 

• Assertion checkers
• Class invariants 
• Correctness proofs
• Formal methods 
• Model checking 
• Programming by contract 
• Reliability
• Statistical methods 
• Validation