extended static checking

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

English

[edit]
English Wikipedia has an article on:
Wikipedia

Noun

[edit]

extended static checking (uncountable)

  1. (software) A range of techniques used for statically checking the correctness of some program constraints.
Retrieved from "https://en.wiktionary.org/w/index.php?title=extended_static_checking&oldid=41915292"