Extended Static Checking

A tool for advanced static error detection using program verification technology with automatic theorem prover. Programmer specifies pre/post-conditions and invariants in comments of the Java program. They are similar to asserts, with the difference that the source is checked for validity only statically.

-- NikolaToshev

Is this synonymous with as StaticAnalysis??


CategoryLanguageTyping


EditText of this page (last edited September 29, 2014) or FindPage with title or text search