3.7.198. Program verification

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