Items related to Tools for Practical Software Verification: International...

Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures - Softcover

 
9783642357473: Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
Softcover
ISBN 10: 3642357474 ISBN 13: 9783642357473
Publisher: Springer, 2012

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2012
Language
English
ISBN 10 
3642357474
ISBN 13 
9783642357473
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642357459: Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures: 7682 (Lecture Notes in Computer Science, 7682)

Featured Edition

ISBN 10:  3642357458 ISBN 13:  9783642357459
Publisher: Springer, 2012
Softcover