Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

Extending KeY for the Verification of C Programs

Name: Extending KeY for the Verification of C Programs
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 9783639000023
Price: 31172 HUF
Availability: InStock

Szerző: Christoph Gladisch

Nyelv:

Kötés: Puha kötésű

Kiadó: VDM Verlag Dr. Mueller E.K.

Elérhetőség: Beszállítói készleten

Küldés 14-21 napon belül

31 172 Ft

Software verification is the study of formally proving the correctness of a program with respect to...

Információk a könyvről

Szerző

Christoph Gladisch

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2008

oldal

276

EAN

9783639000023

ISBN

3639000021

Enbook ID

06810207

Kiadó

VDM Verlag Dr. Mueller E.K.

Súly

372

Méretek

152 x 229 x 15

Teljes leírás

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.