3.7.190. Program verification

A constraint that was used within the application area of program verification.