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
Return to:
F.3 LOGICS AND MEANINGS OF PROGRAMS
F. Theory of Computation
The ACM Computing Classification System (1991)
Overview of 1991 ACM Classification System