Editors:
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)
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (17 chapters)
-
Front Matter
-
A New Look at Formal Methods for Software Construction
-
Part I: Foundations
-
Front Matter
-
-
Part II: Expressing and Formalising Requirements
-
Front Matter
-
-
Part III: Using the KeY System
-
Front Matter
-
-
Part IV: Case Studies
-
Front Matter
-
About this book
Keywords
- AI logics
- JML
- Java
- Java Card
- OCL
- deductive verification
- formal methods
- formal reasoning
- logic reasoning
- natural language generation
- object-oriented software
- program verification
- proof obligations
- software security
- specification languages
- systems modeling
- theorem proving
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, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters, Software Engineering