extended static checking noun1 •A range of techniques used for statically checking the correctness of some program constraints.
