Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.
Static analysis.- Including abstract interpretation.- Abstract testing.- Bug detection.- Data flow analysis.- Model checking.- Program transformation.- Program verification.- Security analysis.- Type checking.