extended static checking

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Noun[edit]

extended static checking (uncountable)

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