Verification of Object-Oriented Software. The KeY Approach
Subtitle: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Contributors: Bernhard Beckert (Editor); Reiner Hähnle (Editor); Peter H. Schmitt (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 21, 2007
Language: eng
Format: Paperback
Number of pages: 658
ISBN-13: 9783540689775
Subjects: Object-oriented programming (OOP); Computers; Computers - General Information; Computer Books: General; Programming Languages - General; AI logics; Computers / Artificial Intelligence; JML; Java; Java Card; OCL; deductive verification; formal methods; formal reasoning; logic reasoning; natural language generation; object-oriented software; Artificial Intelligence - General; Programming - Object Oriented Programming; Programming - Software Development