|
" Tools for Practical Software Verification : "
edited by Bertrand Meyer, Martin Nordio.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
747774
|
| Doc. No
|
:
|
b567725
|
| Main Entry
|
:
|
edited by Bertrand Meyer, Martin Nordio.
|
| Title & Author
|
:
|
Tools for Practical Software Verification : : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures\ edited by Bertrand Meyer, Martin Nordio.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint : Springer, 2012
|
| Series Statement
|
:
|
Lecture Notes in Computer Science, 7682.
|
| Page. NO
|
:
|
(VIII, 183 p. 31 illustrations)
|
| ISBN
|
:
|
3642357466
|
|
|
:
|
: 9783642357466
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Logic design.
|
| Subject
|
:
|
Software engineering.
|
| LC Classification
|
:
|
QA76.76.V47E358 2012
|
| Added Entry
|
:
|
Bertrand Meyer
|
|
|
:
|
Martin Nordio
|
| |