Static Analysis

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Manuel Hermenegildo

Themen in »Static Analysis«

Formal Methods Formal Verification Program Analysis Programming Languages Implementation Semantics-Based Program Manipulation Software Analysis Static Analysis Systems Analysis compiler data structure model checking optimization semantics verification

Stimmen zu »Static Analysis«

Details

Link teilen