Temporal Verification of Reactive Systems, Zohar Manna; Amir Pnueli

Автор: Dov M. Gabbay
Название: Reactive Kripke Semantics
ISBN: 3662514362 ISBN-13(EAN): 9783662514368
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book opens with a lucid explanation of the theory of reactive Kripke semantics, followed by chapters demonstrating applications in a variety of areas. The book benefits both researchers and graduate students working in the field of mathematical logic.

Автор: Joseph Sifakis
Название: Automatic Verification Methods for Finite State Systems
ISBN: 3540521488 ISBN-13(EAN): 9783540521488
Издательство: Springer
Рейтинг:
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of a workshop held in Grenoble in June 1989. The workshop was devoted to the verification of finite state systems. The papers in this volume review verification techniques for finite state systems and evaluate their relative advantages.

Автор: Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti
Название: Critical Systems: Formal Methods and Automated Verification
ISBN: 331967112X ISBN-13(EAN): 9783319671123
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.

Автор: Patrice Godefroid
Название: Partial-Order Methods for the Verification of Concurrent Systems
ISBN: 3540607617 ISBN-13(EAN): 9783540607618
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph is a revised version of the author`s PhD thesis, submitted to the University of Liege, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work is to turn logical and semantic ideas into exploitable algorithms.

Автор: Lecomte
Название: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
ISBN: 3319339508 ISBN-13(EAN): 9783319339504
Издательство: Springer
Рейтинг:
Цена: 46590.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Risk Assessment of ERTMS-Based Railway Systems from a Cyber SecurityPerspective: Methodology and Lessons Learned.- Using Formal Proof and B Method at System Level for Industrial Projects.- A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers.- A Formal Security Analysis of ERTMS Train to Trackside Protocols.- Operational Security - A Coming Evolution of Railway Operational Procedures under the IT Security Threat.- Risk Assessment of the 3Des in the ERTMS.- Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking.- Correct Formalization of Requirement Specifications: A V-Model for Building Formal Methods.- Static Verification of Railway Scheme and Interlocking Design Data.- Verification of Railway Interlocking - Compositional Approach with OCRA.- Safety Verification of Heterogeneous Railway Networks.- Comparing Formal Verification Approaches of Interlocking Systems.- Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems.- Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements.- The PERF Approach for Formal Verification.- Abstract Software Specifications and Automatic Proof of Refinement.- S3: Proving the Safety of Critical Systems.- Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo.

Автор: B. Berard; P. McKenzie; M. Bidoit; A. Finkel; F. L
Название: Systems and Software Verification
ISBN: 3642074782 ISBN-13(EAN): 9783642074783
Издательство: Springer
Рейтинг:
Цена: 88500.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Model checking is a powerful approach for the formal verification of software. 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.

Автор: Paulo Tabuada
Название: Verification and Control of Hybrid Systems
ISBN: 1441954988 ISBN-13(EAN): 9781441954985
Издательство: Springer
Рейтинг:
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book examines several classes of hybrid systems, admitting symbolic models along with the relationships between them. It outlines several key verification and control synthesis results for hybrid systems.

Автор: Ron Koymans
Название: Specifying Message Passing and Time-Critical Systems with Temporal Logic
ISBN: 3540562834 ISBN-13(EAN): 9783540562832
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. The text also incorporates pure fundamental studies on temporal logic. It develops a special temporal logic for reasoning about quantitative temporal properties.

Автор: Fred Kr?ger; Stephan Merz
Название: Temporal Logic and State Systems
ISBN: 3642086802 ISBN-13(EAN): 9783642086809
Издательство: Springer
Рейтинг:
Цена: 55850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;

Автор: Ahrendt
Название: Deductive Software Verification – The KeY Book
ISBN: 3319498118 ISBN-13(EAN): 9783319498119
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.

Автор: Daniel Kroening; Corina S. P?s?reanu
Название: Computer Aided Verification
ISBN: 3319216899 ISBN-13(EAN): 9783319216898
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.

Автор: Ofer Strichman; Rachel Tzoref-Brill
Название: Hardware and Software: Verification and Testing
ISBN: 3319703889 ISBN-13(EAN): 9783319703886
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions.