Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4334)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Buy print copy
About this book
Similar content being viewed by others
Keywords
Table of contents (17 chapters)
-
A New Look at Formal Methods for Software Construction
-
Part I: Foundations
-
Part II: Expressing and Formalising Requirements
-
Part III: Using the KeY System
-
Part IV: Case Studies
Reviews
From the reviews:
"This book is a collection of work by different authors on software verification. The context of the book is the key project, which aims to build a verification of the systems based on model checking. The book features the widely used specification languages: object constraint language (OCL) and Java modeling language (JML). … this book is a good resource for graduate students and researchers … ." (S. Balaraman, Computing Reviews, December, 2007)
Bibliographic Information
Book Title: Verification of Object-Oriented Software. The KeY Approach
Book Subtitle: Foreword by K. Rustan M. Leino
Editors: Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-540-69061-0
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2007
Softcover ISBN: 978-3-540-68977-5Published: 03 January 2007
eBook ISBN: 978-3-540-69061-0Published: 21 April 2007
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIX, 658
Topics: Artificial Intelligence, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Software Engineering