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

£42.05

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

Name: Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 41.88 GBP
Availability: InStock

Software Architecture

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 24 days • 1 price levels

Days at Price

Price Analysis

Most common price: £42 (24 days, 100.0%)

Price range: £42 - £42

Price levels: 1 different prices over 24 days

Description

The book is a foundation of the most important formalisms used for specification and verification of reactive systems. In particular, it presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses. Most results are given with detailed proofs, so that the presentation is almost self-contained.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642055559
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Software Architecture
Domain: Amazon UK
Release Date: 08 December 2010
Listed Since: 13 June 2010

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Temporal Verification of Reactive Systems: Safety

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

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

Systems and Software Verification: Model-Checking Techniques and Tools

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

Real-Time Systems: Formal Specification and Automatic Verification

Formal Methods in Computer Science (Textbooks in Mathematics)

Computation Engineering: Applied Automata Theory and Logic

Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Real-Time Systems: Scheduling, Analysis, and Verification

Springer - Specification and Verification of Multi-agent Systems

The Calculus of Computation: Decision Procedures with Applications to Verification

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

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

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

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

Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications (ACM Books)

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

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)

Reactive Kripke Semantics (Cognitive Technologies)

Springer - Logics of Specification Languages Monograph