Contact
How to shop
Delivery
Shopping guide
Deductive Software Verification - The KeY Book
From Theory to Practice
English
315 b
Delivery to Austria
30-day return policy
Customers also purchased
/
Paperback
19.99
€
/
Paperback
16.09
€
/
Paperback
19.89
€
/
Paperback
85.49
€
/
Paperback
35.39
€
Mechanized verification has a distinguished history, as well and this is not a place to trace it. It suffices to say that the KeY project, the subject of this book, is possibly the most ambitious endeavour in this area. It has started in 1998 and gradually evolved into, what the authors call, the KeY framework. This framework goes beyond mechanized verification by also providing a means of program specification, a test case generation, a teaching tool for a number of courses on Software Engineering, and a debugging tool. The current book is a substantial revision and extension of the previous edition that takes into account this evolution of the KeY system. It systematically explains several facets of the KeY framework, starting with the theoretical underpinning and ending with a presentation of nontrivial case studies.
About the book
English
Categories
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
65.89
€
Hi! I'm Libroamiko, your book advisor.
How can I help you?