|
University of Detroit Mercy - FALL 2010 | ||
Section 01 | ||
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Bernhard Beckert (Volume Editor), Peter H. Schmitt (Series Editor), Reiner Hähnle (Editor) Paperback, 658 Pages, Published 2007 ISBN-10: 3-540-68977-X / 354068977X ISBN-13: 978-3-540-68977-5 / 9783540689775 The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering pr |