Model Checking (Cyber Physical Systems Series) - Image 1

Price loading...

MIT Press Model Checking (Cyber Physical Systems Series)

Name: Model Checking (Cyber Physical Systems Series)
Brand: MIT Press

Multicolor

Business, Finance & Law

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

An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model―representing, for example, a hardware or software design―satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software device drivers, real-time embedded systems, and security algorithms. This book offers a comprehensive presentation of the theory and practice of model checking, covering the foundations of the key algorithms in depth. The field of model checking has grown dramatically since the publication of the first edition in 1999, and this second edition reflects the advances in the field. Reorganized, expanded, and updated, the new edition retains the focus on the foundations of temporal logic model while offering new chapters that cover topics that did not exist in 1999: propositional satisfiability, SAT-based model checking, counterexample-guided abstraction refinement, and software model checking. The book serves as an introduction to the field suitable for classroom use and as an essential guide for researchers.

Key Features

Model Checking (Cyber Physical Systems Series)

Product type: ABIS BOOK

Brand: MIT Press

Color : Multicolor

Product Specifications

Brand: MIT Press
Colour: Multicolor
Format: hardcover
ASIN: 0262038838
Category: Books > Subjects > Business, Finance & Law
Domain: Amazon UK
Release Date: 21 December 2018
Listed Since: 26 March 2018

Barcode

No barcode data available

MIT Press Model Checking (Cyber Physical Systems Series)

Price History & Forecast

No Price Data Available

Price Distribution

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Principles of Model Checking

Systems and Software Verification: Model-Checking Techniques and Tools

Logic in Computer Science: Modelling and Reasoning about Systems

Handbook of Model Checking

Handbook of Model Checking

Principles of Cyber-Physical Systems

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

Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)

Computation Engineering: Applied Automata Theory and Logic

Real-Time Systems: Scheduling, Analysis, and Verification

Springer - Specification and Verification of Multi-agent Systems

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

Reconfigurable System Design and Verification

Introduction to Embedded Systems, Second Edition: A Cyber-Physical Systems Approach

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

System Verification: Proving the Design Solution Satisfies the Requirements

Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)

Electronic Design Automation for IC System Design, Verification, and Testing

SystemVerilog for Design Second Edition: A Guide to Using SystemVerilog for Hardware Design and Modeling

Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)

Formal Verification: An Essential Toolkit for Modern VLSI Design

Multiagent Systems (Intelligent Robotics and Autonomous Agents series)

Springer - Formal Methods and Models for System Design Book

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach