- We will send in 10–14 business days.
/images/books/13170721/9783639000023.jpg)
- Author: Christoph Gladisch
- Publisher: VDM Verlag Dr. Mueller E.K.
- Year: 2008
- Pages: 276
- ISBN-10: 3639000021
- ISBN-13: 9783639000023
- Format: 15.2 x 22.9 x 1.5 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Extending KeY for the Verification of C Programs (e-book) (used book) | bookbook.eu
Reviews
Description
Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing research topic. The state of the art is that given a sufficiently rich specification an object-oriented program can be in most cases automatically verified using verification systems like the KeY-System. The KeY-System is a software verification and testing system for Java that is developed by the research groups of Prof. Dr. Bernhard Beckert (Univ. of Koblenz-Landau, Germany), Prof. Dr. Reiner Hähnle (Chalmers Univ. of Tech., Sweden), and Prof. Dr. Schmitt (University of Karlsruhe, Germany). This book describes the theory and the implementation of the KeY-System and the development of a prototypical version of the KeY-System for the verification of C programs. In particular the C dialects ANSI C, MISRA C, and C0 are regarded.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 23d.13:02:00
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Christoph Gladisch
- Publisher: VDM Verlag Dr. Mueller E.K.
- Year: 2008
- Pages: 276
- ISBN-10: 3639000021
- ISBN-13: 9783639000023
- Format: 15.2 x 22.9 x 1.5 cm, minkšti viršeliai
- Language: English English
Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in industrial applications software verification remains an ongoing research topic. The state of the art is that given a sufficiently rich specification an object-oriented program can be in most cases automatically verified using verification systems like the KeY-System. The KeY-System is a software verification and testing system for Java that is developed by the research groups of Prof. Dr. Bernhard Beckert (Univ. of Koblenz-Landau, Germany), Prof. Dr. Reiner Hähnle (Chalmers Univ. of Tech., Sweden), and Prof. Dr. Schmitt (University of Karlsruhe, Germany). This book describes the theory and the implementation of the KeY-System and the development of a prototypical version of the KeY-System for the verification of C programs. In particular the C dialects ANSI C, MISRA C, and C0 are regarded.
Reviews