Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
Antoine Miné
Broschiertes Buch

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Versandkostenfrei!
Versandfertig in 1-2 Wochen
107,99 €
inkl. MwSt.
PAYBACK Punkte
54 °P sammeln!
This monograph presents Abstract Interpretation and its use to create static analyzers that infer numeric properties on programs. Abstract Interpretation, born in the late 1970s, has proven a very effective method to construct static analyzers. It has led to successful program analysis tools like PolySpace Verifier (The Mathworks) and the Astrée analyzer (AbsInt): industrial tools that are routinely used in the avionic, automotive, and space industries to help ensure the correctness of mission-critical software. Automatically inferring numeric invariants can be used to prove the absence of ru...