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