Proper noun
- (software) collective name for a range of techniques used for statically checking the correctness of some program constraints.
