Verification of Object-Oriented Software. The KeY Approach

Foreword by K. Rustan M. Leino

Herausgegeben: Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.
Versandkostenfrei!
Versandfertig in 6-10 Tagen
76,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
38 °P sammeln!
Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages w...