Items related to Verification of Object-Oriented Software. The KeY Approach:...

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino: 4334 (Lecture Notes in Computer Science, 4334) - Softcover

 
9783540689775: Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino: 4334 (Lecture Notes in Computer Science, 4334)

Synopsis

Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di?erent c- trol ?ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand.

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

Review

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)

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

Buy Used

2007th ed. 15 x 23 cm. 687 pages...
View this item

£ 26.11 shipping from Germany to U.S.A.

Destination, rates & speeds

Search results for Verification of Object-Oriented Software. The KeY Approach:...

Seller Image

Beckert, Bernhard/H�hnle, Reiner/Schmitt, Peter H.
Published by Springer., 2007
ISBN 10: 354068977X ISBN 13: 9783540689775
Used Softcover

Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

2007th ed. 15 x 23 cm. 687 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Seller Inventory # 8318VB

Contact seller

Buy Used

£ 14.35
Convert currency
Shipping: £ 26.11
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Bernhard Beckert; Reiner Hahnle; Peter H. Schmitt, Eds
Published by Springer, 2007
ISBN 10: 354068977X ISBN 13: 9783540689775
Used Soft Cover

Seller: Moe's Books, Berkeley, CA, U.S.A.

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Soft Cover. Condition: Very Good. No Jacket. Seller Inventory # 1110412

Contact seller

Buy Used

£ 47.76
Convert currency
Shipping: £ 4.82
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 354068977X ISBN 13: 9783540689775
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540689775

Contact seller

Buy New

£ 83.63
Convert currency
Shipping: £ 6.66
Within U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Beckert, Bernhard (EDT); Hahnle, Reiner (EDT); Schmitt, Peter H. (EDT)
Published by Springer, 2007
ISBN 10: 354068977X ISBN 13: 9783540689775
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5928120-n

Contact seller

Buy New

£ 88.45
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Bernhard Beckert
ISBN 10: 354068977X ISBN 13: 9783540689775
New Paperback

Seller: Grand Eagle Retail, Mason, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. 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 process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book. The material is presented on an advanced level suitable for graduate courses and, of course, active researchers with an interest in verification. The underlying verification paradigm is deductive verification in an expressive program logic. The logic used for reasoning about programs is not a minimalist version suitable for theoretical investigations, but an industrial-strength version. The first-order part is equipped with a type system for modelling of object hierarchies, with underspecification, and with various built-in theories. The program logic covers full Java Card (plus a bit more such as multi-dimensional arrays, characters, and long integers).A lot of emphasis is thereby put on specification, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation.The generation of proof obligations from specified code is discussed at length. The book is rounded off by two substantial case studies that are included and presented in detail. The 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. This work emphasizes on specification, including two widely-used object-oriented specification languages (OCL and JML) and even an interface to natural language generation. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540689775

Contact seller

Buy New

£ 90.47
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 354068977X ISBN 13: 9783540689775
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020175031

Contact seller

Buy New

£ 89.55
Convert currency
Shipping: £ 2.96
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 354068977X ISBN 13: 9783540689775
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540689775_new

Contact seller

Buy New

£ 94.13
Convert currency
Shipping: £ 11.98
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Beckert, Bernhard (EDT); Hahnle, Reiner (EDT); Schmitt, Peter H. (EDT)
Published by Springer, 2007
ISBN 10: 354068977X ISBN 13: 9783540689775
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 5928120

Contact seller

Buy Used

£ 106
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Stock Image

Published by Springer, 2007
ISBN 10: 354068977X ISBN 13: 9783540689775
New Softcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9783540689775

Contact seller

Buy New

£ 110.04
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Bernhard Beckert
ISBN 10: 354068977X ISBN 13: 9783540689775
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book. 692 pp. Englisch. Seller Inventory # 9783540689775

Contact seller

Buy New

£ 95.93
Convert currency
Shipping: £ 20.02
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

There are 9 more copies of this book

View all search results for this book