Tools for Practical Software Verification

International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures

AvBertrand Meyer,Martin Nordio

Häftad, Engelska, 2012

Del i serien Lecture Notes in Computer Science

508 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.

Produktinformation

Utgivningsdatum:2012-11-30
Mått:155 x 235 x 11 mm
Vikt:300 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:183
Upplaga:2012
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642357459

Utforska kategorier

Innehållsförteckning

Model Checking and the State Explosion Problem.- From Program to Logic: An Introduction.- Introduction to the Coq Proof-Assistant for Practical Software Verification.- Advanced Theorem Proving Techniques in PVS and Applications.- Automatic Verification of Advanced Object-Oriented Features:.- The AutoProof Approach.- Using Dafny, an Automatic Program Verifier.