↓ Skip to main content

Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book
Cover of 'Tools and Algorithms for the Construction and Analysis of Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Variations on Safety
  3. Altmetric Badge
    Chapter 2 Decision Procedures for Flat Array Properties
  4. Altmetric Badge
    Chapter 3 SATMC: A SAT-Based Model Checker for Security-Critical Systems
  5. Altmetric Badge
    Chapter 4 IC3 Modulo Theories via Implicit Predicate Abstraction
  6. Altmetric Badge
    Chapter 5 SMT-Based Verification of Software Countermeasures against Side-Channel Attacks
  7. Altmetric Badge
    Chapter 6 Detecting Unrealizable Specifications of Distributed Systems
  8. Altmetric Badge
    Chapter 7 Synthesizing Safe Bit-Precise Invariants
  9. Altmetric Badge
    Chapter 8 PEALT: An Automated Reasoning Tool for Numerical Aggregation of Trust Evidence
  10. Altmetric Badge
    Chapter 9 GRASShopper
  11. Altmetric Badge
    Chapter 10 Alternating Runtime and Size Complexity Analysis of Integer Programs
  12. Altmetric Badge
    Chapter 11 Proving Nontermination via Safety
  13. Altmetric Badge
    Chapter 12 Ranking Templates for Linear Loops
  14. Altmetric Badge
    Chapter 13 FDR3 — A Modern Refinement Checker for CSP
  15. Altmetric Badge
    Chapter 14 Concurrent Depth-First Search Algorithms
  16. Altmetric Badge
    Chapter 15 Basic Problems in Multi-View Modeling
  17. Altmetric Badge
    Chapter 16 GPUexplore: Many-Core On-the-Fly State Space Exploration Using GPUs
  18. Altmetric Badge
    Chapter 17 Forward Reachability Computation for Autonomous Max-Plus-Linear Systems
  19. Altmetric Badge
    Chapter 18 Compositional Invariant Generation for Timed Systems
  20. Altmetric Badge
    Chapter 19 Characterizing Algebraic Invariants by Differential Radical Invariants
  21. Altmetric Badge
    Chapter 20 Quasi-Equal Clock Reduction: More Networks, More Queries
  22. Altmetric Badge
    Chapter 21 Are Timed Automata Bad for a Specification Language? Language Inclusion Checking for Timed Automata
  23. Altmetric Badge
    Chapter 22 Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic
  24. Altmetric Badge
    Chapter 23 Monitoring Modulo Theories
  25. Altmetric Badge
    Chapter 24 Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems
  26. Altmetric Badge
    Chapter 25 Status Report on Software Verification
  27. Altmetric Badge
    Chapter 26 CBMC – C Bounded Model Checker
  28. Altmetric Badge
    Chapter 27 CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses
  29. Altmetric Badge
    Chapter 28 CPAlien: Shape Analyzer for CPAChecker
  30. Altmetric Badge
    Chapter 29 Lazy-CSeq: A Lazy Sequentialization Tool for C
  31. Altmetric Badge
    Chapter 30 MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings
  32. Altmetric Badge
    Chapter 31 ESBMC 1.22
  33. Altmetric Badge
    Chapter 32 FrankenBit: Bit-Precise Verification with Many Bits
  34. Altmetric Badge
    Chapter 33 Predator: A Shape Analyzer Based on Symbolic Memory Graphs
  35. Altmetric Badge
    Chapter 34 Symbiotic 2: More Precise Slicing
  36. Altmetric Badge
    Chapter 35 Ultimate Automizer with Unsatisfiable Cores
  37. Altmetric Badge
    Chapter 36 Ultimate Kojak
  38. Altmetric Badge
    Chapter 37 Discounting in LTL
  39. Altmetric Badge
    Chapter 38 Symbolic Model Checking of Stutter-Invariant Properties Using Generalized Testing Automata
  40. Altmetric Badge
    Chapter 39 Symbolic Synthesis for Epistemic Specifications with Observational Semantics
  41. Altmetric Badge
    Chapter 40 Synthesis for Human-in-the-Loop Control Systems
  42. Altmetric Badge
    Chapter 41 Learning Regular Languages over Large Alphabets
  43. Altmetric Badge
    Chapter 42 Verification of Concurrent Quantum Protocols by Equivalence Checking
  44. Altmetric Badge
    Chapter 43 Computing Conditional Probabilities in Markovian Models Efficiently
  45. Altmetric Badge
    Chapter 44 Permissive Controller Synthesis for Probabilistic Systems
  46. Altmetric Badge
    Chapter 45 Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance
  47. Altmetric Badge
    Chapter 46 SACO: Static Analyzer for Concurrent Objects
  48. Altmetric Badge
    Chapter 47 VeriMAP: A Tool for Verifying Programs through Transformations
  49. Altmetric Badge
    Chapter 48 CIF 3: Model-Based Engineering of Supervisory Controllers
  50. Altmetric Badge
    Chapter 49 EDD: A Declarative Debugger for Sequential Erlang Programs
  51. Altmetric Badge
    Chapter 50 APTE: An Algorithm for Proving Trace Equivalence
  52. Altmetric Badge
    Chapter 51 The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
  53. Altmetric Badge
    Chapter 52 Bounds2: A Tool for Compositional Multi-parametrised Verification
  54. Altmetric Badge
    Chapter 53 On the Correctness of a Branch Displacement Algorithm
  55. Altmetric Badge
    Chapter 54 Analyzing the Next Generation Airborne Collision Avoidance System
  56. Altmetric Badge
    Chapter 55 Environment-Model Based Testing of Control Systems: Case Studies
Attention for Chapter 27: CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
11 Dimensions

Readers on

mendeley
5 Mendeley
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
CPAchecker with Sequential Combination of Explicit-Value Analyses and Predicate Analyses
Chapter number 27
Book title
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Springer Berlin Heidelberg, April 2014
DOI 10.1007/978-3-642-54862-8_27
Book ISBNs
978-3-64-254861-1, 978-3-64-254862-8
Authors

Stefan Löwe, Mikhail Mandrykin, Philipp Wendler

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Germany 1 20%
Unknown 4 80%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 2 40%
Student > Ph. D. Student 1 20%
Professor 1 20%
Unknown 1 20%
Readers by discipline Count As %
Computer Science 3 60%
Mathematics 1 20%
Unknown 1 20%