Dictionary

Words, grammatical forms and meanings linked to the ontology.

extended static checking en · NOUN

Meanings

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