The ACM Computing Classification System (1991) F.3.1 Specifying and Verifying and Reasoning about Programs Assertions Invariants Logics of programs Mechanical verification Pre- and post-conditions Specification techniques
