Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs - Image 1

£69.00

VDM Verlag Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Name: Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs
Brand: VDM Verlag
Price: 69.0 GBP
Availability: InStock

Languages

Price History & Forecast

Last 36 days • 36 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 36 days • 1 price levels

Days at Price

Price Analysis

Most common price: £69 (36 days, 100.0%)

Price range: £69 - £69

Price levels: 1 different prices over 36 days

Description

One of the major challenges in computer science is to put programming on a firmer mathematical basis, in order to improve the correctness of programs. This book presents a semantic framework for verifying safety properties of open sequential programs. The presentation is focused on an Algol- like language that embodies many of the core ingredients of imperative and functional languages and incorporates data abstraction in its syntax. Game semantics is used to obtain a compositional, incremental way of generating accurate models of programs. Model-checking is made possible by giving certain kinds of concrete automata-theoretic representations of the model. A data-abstraction refinement procedure is developed for model-checking safety properties of programs with infinite integer types. Abstraction refinement, assume-guarantee reasoning and the L* algorithm for learning regular languages are combined to yield a procedure for compositional verification. An implementation based on the FDR model checker for the CSP process algebra demonstrates practicality of the methods. The book should be useful to researchers in the field of Theory and Practice of Software.

Product Specifications

Brand: VDM Verlag
Format: paperback
ASIN: 3639163834
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 05 June 2009
Listed Since: 17 June 2009

Barcode

No barcode data available

VDM Verlag Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Springer - Specification and Verification of Multi-agent Systems

Systems and Software Verification: Model-Checking Techniques and Tools

Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)

Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Principles of Model Checking

Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)

Temporal Verification of Reactive Systems: Safety

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

String Analysis for Software Verification and Security

Formal System Verification: State-of the-Art and Future Trends

Implementing Functional Logic Programs: by Translation into Purely Functional Programs

Birkhauser Semantics of Type Theory - Computer Science Book

Program Logics for Certified Compilers

Proof and System-Reliability: v. 62 (NATO Science Series II)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Programming-Based Formal Languages and Automata Theory: Design, Implement, Validate, and Prove (Texts in Computer Science)

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings