extended static checking
English
edit
Noun
editextended static checking (uncountable)
- (software) A range of techniques used for statically checking the correctness of some program constraints.
extended static checking (uncountable)