extended static checking

extended static checking

English

Noun

extended static checking (uncountable)

  1. (software) A range of techniques used for statically checking the correctness of some program constraints.
This article is issued from Wiktionary. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.