↓ Skip to main content
What is this page? Embed badge

Formal Techniques for Safety-Critical Systems

Overview of attention for book
Cover of 'Formal Techniques for Safety-Critical Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Stability Analysis of Control Systems
  3. Altmetric Badge
    Chapter 2 Modular Verification of Vehicle Platooning with Respect to Decisions, Space and Time
  4. Altmetric Badge
    Chapter 3 Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees
  5. Altmetric Badge
    Chapter 4 Formal Verification of Random Forests in Safety-Critical Applications
  6. Altmetric Badge
    Chapter 5 A Benchmark Library for Parametric Timed Model Checking
  7. Altmetric Badge
    Chapter 6 Formal Timing Analysis of Digital Circuits
  8. Altmetric Badge
    Chapter 7 Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications
  9. Altmetric Badge
    Chapter 8 Refinement of Statecharts with Run-to-Completion Semantics
  10. Altmetric Badge
    Chapter 9 Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking
  11. Altmetric Badge
    Chapter 10 Model Transformation with Triple Graph Grammars and Non-terminal Symbols
Attention for Chapter 9: Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking
Chapter number 9
Book title
Formal Techniques for Safety-Critical Systems
Published by
Springer, Cham, November 2018
DOI 10.1007/978-3-030-12988-0_9
Book ISBNs
978-3-03-012987-3, 978-3-03-012988-0
Authors

Nils Timm, Stefan Gruner, Timm, Nils, Gruner, Stefan

View on publisher site

This page is provided by Altmetric.