Extending KeY for the Verification of C Programs: The Development of a Prototype - Image 1

£66.99

VDM Verlag Extending KeY for the Verification of C Programs: The Development of a Prototype

Name: Extending KeY for the Verification of C Programs: The Development of a Prototype
Brand: VDM Verlag
Price: 66.99 GBP
Availability: InStock

Amazon

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£67 today · all-time low £66 (Aug 2026) · usually £67

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 81 days · 81 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 81 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £67 (68 days, 84.0%)

Price range: £66 - £67

Price levels: 2 different prices over 81 days

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.

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 3639000021
Category: Books > Subjects > Computing & Internet > Digital Lifestyle > Online Shopping > Amazon
Domain: Amazon UK
Release Date: 23 April 2008
Listed Since: 01 May 2008

Barcode

No barcode data available

VDM Verlag Extending KeY for the Verification of C Programs: The Development of a Prototype

About as cheap as it gets. The only time it was cheaper was 1 month ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Experimental Investigations into Graph Grammar Evolution: A Novel Approach to Evolutionary Design

Pervasive Workflows: Architecture, Reliability and Security

Reliability-Based Optimization for Multidisciplinary System Design: New Approaches and Applications

Softwareclustering im Reverse Engineering: Theorie, Tools und praktische Anwendung

EXTENSION, ORGANIZATIONS AND PARTICIPATION: IN COMMUNITY DEVELOPMENT

Software Process Improvement: Assessments for Small Software Firms

Cost-Optimisation of Analytical Software Quality Assurance

Online Professional Development Program for Teachers: Design and Implementation

Meta-Heuristics for Large-Scale Process Scheduling

Composable Message Semantics: Composable Message Semantics in Object-Oriented Programming Languages

Experiences of Well-being

Detecting Busy Waiting: An Approach Employing Static Control Flow Analysis

L'efficacité des modes alternatifs de réalisation des sûretés

The Viability of a Professional Ethic for Education: Perspectives from the Field

Extending Interactions with Electronic Text: A Design-Based Research Investigation of a Web-based Reading Environment

Young People's Information Universes:: Their Characteristics and Development

Der erweiterte Blick: Kreative Medien in der Integrativen Supervision

Statistical Parsing Exposed: Viewing the Model as Data

ICT and Information Provision in Scientific and Research Institutions

Elements of Continuous-phase FSK: Modulation, Capacity and Coding

The Influences of Computer on Idea Formation in Design

Educator implementation of a professional development program: Examining Level of Use in relation to program participation, professional background, and organizational engagement

Qualitätssicherung im Rahmen verteilter Softwareentwicklung: Lösungsansätze für die geographisch verteilte Softwareentwicklung

Prosody in Automatic Speaker Recognition: Applications in Biometrics and Voice Imitation