↓ 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 Robots at the Edge of the Cloud
  3. Altmetric Badge
    Chapter 2 Finding Recurrent Sets with Backward Analysis and Trace Partitioning
  4. Altmetric Badge
    Chapter 3 Tactics for the Dafny Program Verifier
  5. Altmetric Badge
    Chapter 4 Synthesizing Ranking Functions from Bits and Pieces
  6. Altmetric Badge
    Chapter 5 Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
  7. Altmetric Badge
    Chapter 6 Efficient Syntax-Driven Lumping of Differential Equations
  8. Altmetric Badge
    Chapter 7 Faster Statistical Model Checking for Unbounded Temporal Properties
  9. Altmetric Badge
    Chapter 8 Safety-Constrained Reinforcement Learning for MDPs
  10. Altmetric Badge
    Chapter 9 Safety Verification of Continuous-Space Pure Jump Markov Processes
  11. Altmetric Badge
    Chapter 10 Abstract Learning Frameworks for Synthesis
  12. Altmetric Badge
    Chapter 11 Synthesizing Piece-Wise Functions by Learning Classifiers
  13. Altmetric Badge
    Chapter 12 An Automaton Learning Approach to Solving Safety Games over Infinite Graphs
  14. Altmetric Badge
    Chapter 13 Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities
  15. Altmetric Badge
    Chapter 14 Online and Compositional Learning of Controllers with Application to Floor Heating
  16. Altmetric Badge
    Chapter 15 Deductive Proofs of Almost Sure Persistence and Recurrence Properties
  17. Altmetric Badge
    Chapter 16 Probabilistic CTL \(^{*}\) : The Deductive Way
  18. Altmetric Badge
    Chapter 17 Parametric Runtime Verification of C Programs
  19. Altmetric Badge
    Chapter 18 Coqoon
  20. Altmetric Badge
    Chapter 19 Multi-core Symbolic Bisimulation Minimisation
  21. Altmetric Badge
    Chapter 20 Advances in Symbolic Probabilistic Model Checking with PRISM
  22. Altmetric Badge
    Chapter 21 PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
  23. Altmetric Badge
    Chapter 22 T2: Temporal Property Verification
  24. Altmetric Badge
    Chapter 23 RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems
  25. Altmetric Badge
    Chapter 24 TcT: Tyrolean Complexity Tool
  26. Altmetric Badge
    Chapter 25 Integrated Environment for Diagnosing Verification Errors
  27. Altmetric Badge
    Chapter 26 JDart: A Dynamic Symbolic Analysis Framework
  28. Altmetric Badge
    Chapter 27 Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)
  29. Altmetric Badge
    Chapter 28 Approaching the Coverability Problem Continuously
  30. Altmetric Badge
    Chapter 29 On Atomicity in Presence of Non-atomic Writes
  31. Altmetric Badge
    Chapter 30 Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
  32. Altmetric Badge
    Chapter 31 The xSAP Safety Analysis Platform
  33. Altmetric Badge
    Chapter 32 FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals
  34. Altmetric Badge
    Chapter 33 PrDK: Protocol Programming with Automata
  35. Altmetric Badge
    Chapter 34 DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation
  36. Altmetric Badge
    Chapter 35 PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games
  37. Altmetric Badge
    Chapter 36 Cerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes
  38. Altmetric Badge
    Chapter 37 Developing and Debugging Proof Strategies by Tinkering
  39. Altmetric Badge
    Chapter 38 v2c – A Verilog to C Translator
  40. Altmetric Badge
    Chapter 39 Parameterized Compositional Model Checking
  41. Altmetric Badge
    Chapter 40 An \(O(m\log n)\) Algorithm for Stuttering Equivalence and Branching Bisimulation
  42. Altmetric Badge
    Chapter 41 Interpolants in Nonlinear Theories Over the Reals
  43. Altmetric Badge
    Chapter 42 PTIME Computation of Transitive Closures of Octagonal Relations
  44. Altmetric Badge
    Chapter 43 Scalable Verification of Linear Controller Software
  45. Altmetric Badge
    Chapter 44 Partial Order Reduction for Event-Driven Multi-threaded Programs
  46. Altmetric Badge
    Chapter 45 Acceleration in Multi-PushDown Systems
  47. Altmetric Badge
    Chapter 46 Reduction of Nondeterministic Tree Automata
  48. Altmetric Badge
    Chapter 47 Online Timed Pattern Matching Using Derivatives
  49. Altmetric Badge
    Chapter 48 Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics
  50. Altmetric Badge
    Chapter 49 Complementing Semi-deterministic Büchi Automata
  51. Altmetric Badge
    Chapter 50 Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication
  52. Altmetric Badge
    Chapter 51 Some Complexity Results for Stateful Network Verification
  53. Altmetric Badge
    Chapter 52 Characteristic Formulae for Session Types
  54. Altmetric Badge
    Chapter 53 Bit-Vector Optimization
  55. Altmetric Badge
    Chapter 54 Runtime Monitoring with Union-Find Structures
  56. Altmetric Badge
    Chapter 55 Reliable and Reproducible Competition Results with BenchExec and Witnesses (Report on SV-COMP 2016)
  57. Altmetric Badge
    Chapter 56 2LS for Program Analysis
  58. Altmetric Badge
    Chapter 57 CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution)
  59. Altmetric Badge
    Chapter 58 CPA-BAM: Block-Abstraction Memoization with Value Analysis and Predicate Analysis
  60. Altmetric Badge
    Chapter 59 CPA-RefSel: CPAchecker with Refinement Selection
  61. Altmetric Badge
    Chapter 60 DIVINE: Explicit-State LTL Model Checker
  62. Altmetric Badge
    Chapter 61 Run Forester, Run Backwards!
  63. Altmetric Badge
    Chapter 62 LCTD: Tests-Guided Proofs for C Programs on LLVM
  64. Altmetric Badge
    Chapter 63 LPI: Software Verification with Local Policy Iteration
  65. Altmetric Badge
    Chapter 64 Hunting Memory Bugs in C Programs with Map2Check
  66. Altmetric Badge
    Chapter 65 MU-CSeq 0.4: Individual Memory Location Unwindings
  67. Altmetric Badge
    Chapter 66 Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark
  68. Altmetric Badge
    Chapter 67 Symbiotic 3: New Slicer and Error-Witness Generation
  69. Altmetric Badge
    Chapter 68 Ultimate Automizer with Two-track Proofs
  70. Altmetric Badge
    Chapter 69 Vienna Verification Tool: IC3 for Parallel Software
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
26 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.
Title
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Springer Berlin Heidelberg, January 2016
DOI 10.1007/978-3-662-49674-9
ISBNs
978-3-66-249673-2, 978-3-66-249674-9
Editors

Marsha Chechik, Jean-François Raskin

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users 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 26 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 26 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 15%
Professor > Associate Professor 1 4%
Unknown 21 81%
Readers by discipline Count As %
Computer Science 4 15%
Linguistics 1 4%
Engineering 1 4%
Unknown 20 77%