The ACM Computing Classification System (1998)

F.3.1 Specifying and Verifying and Reasoning about Programs

• Assertions
• Invariants
• Logics of programs
• Mechanical verification
• Pre- and post-conditions
• Specification techniques