Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.
Please read the tutorial at this link: https://ebookbell.com/faq
We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.
For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.
EbookBell Team
4.0
56 reviewsStatic analysis of software with deductive methods is a highly dynamic field
of research on the verge of becoming a mainstream technology in software
engineering. It consists of a large portfolio of - mostly fully automated -
analyses: formal verification, test generation, security analysis,
visualization, and debugging. All of them are realized in the state-of-art
deductive verification framework KeY.
This book is the definitive guide to KeY that lets you explore the full
potential of deductive software verification in practice. It contains the
complete theory behind KeY for active researchers who want to understand it in
depth or use it in their own work. But the book also features fully
self-contained chapters on the Java Modeling Language and on Using KeY that
require nothing else than familiarity with Java. All other chapters are
accessible for graduate students (M.Sc. level and beyond).
