Jump to content

extended static checking

From Wiktionary, the free dictionary

English

[edit]

Noun

[edit]

extended static checking (uncountable)

  1. (software) A range of techniques used for statically checking the correctness of some program constraints.