Systems and Software Verification: Model-Checking Techniques and Tools - Image 1

Price loading...

Springer Systems and Software Verification: Model-Checking Techniques and Tools

Name: Systems and Software Verification: Model-Checking Techniques and Tools
Brand: Springer

biography

Information Management

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

Key Features

New

Mint Condition

Dispatch same day for order received before 12 noon

Guaranteed packaging

No quibbles returns

Product Specifications

Brand: Springer
Model: biography
Format: hardcover
ASIN: 3540415238
Category: Books > Subjects > Business, Finance & Law > Management > Information Management
Domain: Amazon UK
Release Date: 20 June 2001
Listed Since: 12 February 2007

Barcode

No barcode data available

Springer Systems and Software Verification: Model-Checking Techniques and Tools

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Handbook of Model Checking

Handbook of Model Checking

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

Principles of Model Checking

Model Checking (Cyber Physical Systems Series)

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

Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications

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

Temporal Verification of Reactive Systems: Safety

Springer - Specification and Verification of Multi-agent Systems

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

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

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

SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

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

Formal Methods in Computer Science (Textbooks in Mathematics)

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

Verification, Validation and Testing in Software Engineering

Springer - Automated Validation of UML/OCL Models Book

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

Computation Engineering: Applied Automata Theory and Logic

Springer - Formal Methods and Models for System Design Book

Advanced Formal Verification

Embedded Software Verification and Debugging (Embedded Systems)