£113.27

Springer Handbook of Model Checking

Name: Handbook of Model Checking
Brand: Springer
Price: 113.27 GBP
Availability: InStock

Hardware & DIY

It has never been this cheap. We have no record of a lower price.

£113 today · cheaper than every other day in the last 2 months

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 10 days · 10 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 10 days • 1 price levels

Days at Price

Price Analysis

Most common price: £113 (10 days, 100.0%)

Price range: £113 - £113

Price levels: 1 different prices over 10 days

Description

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry. The editors and authors of this handbook are among the world's leading researchers in this domain, and the 32 contributed chapters present a thorough view of the origin, theory, and application of model checking. In particular, the editors classify the advances in this domain and the chapters of the handbook in terms of two recurrent themes that have driven much of the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that scale to real-life problems; and the modeling challenge, that is, extending the formalism beyond Kripke structures and temporal logic. The book will be valuable for researchers and graduate students engaged with the development of formal methods and verification tools.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3030132331
Category: Books > Subjects > Computing & Internet > Hardware & DIY
Domain: Amazon UK
Release Date: 14 November 2020
Listed Since: 14 May 2019

Barcode

No barcode data available

Springer Handbook of Model Checking

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Handbook of Model Checking

Systems and Software Verification: Model-Checking Techniques and Tools

Model Checking (Cyber Physical Systems Series)

Principles of Model Checking

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, ... (Lecture Notes in Computer Science, 12597)

SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings: 1885 (Lecture Notes in Computer Science, 1885)

NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)

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

Computer Aided Verification

Formal Methods for Industrial Critical Systems: A Survey of Applications

Temporal Verification of Reactive Systems: Safety

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

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... (Lecture Notes in Computer Science, 13182)

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

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)

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

Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings: 1954 (Lecture Notes in Computer Science, 1954)

Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification

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

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Practical Design Verification

Springer - Formal Methods and Models for System Design Book

Springer - Specification and Verification of Multi-agent Systems