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

£71.74

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: 68.94 GBP
Availability: InStock

Systems Analysis & Design

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 33 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £69 (20 days, 60.6%)

Price range: £67 - £72

Price levels: 3 different prices over 33 days

Description

Reactive systems are becoming more and more important for essentially all areas of technical and professional activities as well as for many areas of everyday life. The design of these systems is a great challenge and requires sound compromises between safety and time-to-market. To meet these needs, early design phases nowadays include verification of given specifications against system descriptions to find potential design errors as early as possible. This book is devoted to the foundation of the most popular formal methods for the specification and verification of reactive systems. In particular, the µ-calculus, omega-automata, and temporal logics are covered in full detail; their relationship and state-of-the-art verification procedures based on these formal approaches are presented. Furthermore, the advantages and disadvantages of the formalisms from particular points of view are analyzed. Most results are given with detailed proofs, so that the presentation is almost self-contained. This book is targeted to advanced students, lecturers and researchers in the area of formal methods.

Product Specifications

Brand: Springer
Format: Hardcover
ASIN: 3540002960
Category: Books > Subjects > Computing & Internet > Computer Science > Systems Analysis & Design
Domain: Amazon UK
Release Date: 16 October 2003
Listed Since: 22 January 2007

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

Real-Time Systems: Scheduling, Analysis, and Verification

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

Springer - Specification and Verification of Multi-agent Systems

Systems and Software Verification: Model-Checking Techniques and Tools

Computation Engineering: Applied Automata Theory and Logic

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

Scalable Hardware Verification with Symbolic Simulation

Reconfigurable System Design and Verification

Real-Time Systems: Formal Specification and Automatic Verification

Formal Methods in Computer Science (Textbooks in Mathematics)

Formal Methods for Industrial Critical Systems: A Survey of Applications

Springer - Formal Methods and Models for System Design Book

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

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

Formal Methods in Computer Science (Textbooks in Mathematics)

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

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)

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

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

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

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