extended static checking
Jump to navigation
Jump to search
English[edit]
Noun[edit]
extended static checking (uncountable)
- (software) A range of techniques used for statically checking the correctness of some program constraints.