Extended static checking Uncommon

Definition, synonyms and related words

Definitions

Noun

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

See Also

statically constraint program

Related Terms

statically constraint program

Rhyming Words

ing ging ying sing ling xing ting zing fing hing qing ving ring jing ping king ning oing ding ming

Compare