↓ 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 Tools and Algorithms for the Construction and Analysis of Systems
  3. Altmetric Badge
    Chapter 2 The Quest for Minimal Quotients for Probabilistic Automata
  4. Altmetric Badge
    Chapter 3 LTL Model Checking of Interval Markov Chains
  5. Altmetric Badge
    Chapter 4 Tools and Algorithms for the Construction and Analysis of Systems
  6. Altmetric Badge
    Chapter 5 Tools and Algorithms for the Construction and Analysis of Systems
  7. Altmetric Badge
    Chapter 6 Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors
  8. Altmetric Badge
    Chapter 7 The MathSAT5 SMT Solver
  9. Altmetric Badge
    Chapter 8 Formula Preprocessing in MUS Extraction
  10. Altmetric Badge
    Chapter 9 Proof Tree Preserving Interpolation
  11. Altmetric Badge
    Chapter 10 Asynchronous Multi-core Incremental SAT Solving
  12. Altmetric Badge
    Chapter 11 Tools and Algorithms for the Construction and Analysis of Systems
  13. Altmetric Badge
    Chapter 12 Synthesis from LTL Specifications with Mean-Payoff Objectives
  14. Altmetric Badge
    Chapter 13 PRISM-games: A Model Checker for Stochastic Multi-Player Games
  15. Altmetric Badge
    Chapter 14 PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
  16. Altmetric Badge
    Chapter 15 An Overview of the mCRL2 Toolset and Its Recent Advances
  17. Altmetric Badge
    Chapter 16 Analysis of Boolean Programs
  18. Altmetric Badge
    Chapter 17 Weighted Pushdown Systems with Indexed Weight Domains
  19. Altmetric Badge
    Chapter 18 Underapproximation of Procedure Summaries for Integer Programs
  20. Altmetric Badge
    Chapter 19 Runtime Verification Based on Register Automata
  21. Altmetric Badge
    Chapter 20 Unbounded Model-Checking with Interpolation for Regular Language Constraints
  22. Altmetric Badge
    Chapter 21 eVolCheck: Incremental Upgrade Checker for C
  23. Altmetric Badge
    Chapter 22 Intertwined Forward-Backward Reachability Analysis Using Interpolants
  24. Altmetric Badge
    Chapter 23 An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
  25. Altmetric Badge
    Chapter 24 A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
  26. Altmetric Badge
    Chapter 25 Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory
  27. Altmetric Badge
    Chapter 26 Synthesis of Circular Compositional Program Proofs via Abduction
  28. Altmetric Badge
    Chapter 27 As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
  29. Altmetric Badge
    Chapter 28 Integer Parameter Synthesis for Timed Automata
  30. Altmetric Badge
    Chapter 29 LTL Model-Checking for Malware Detection
  31. Altmetric Badge
    Chapter 30 Policy Analysis for Self-administrated Role-Based Access Control
  32. Altmetric Badge
    Chapter 31 Model Checking Agent Knowledge in Dynamic Access Control Policies
  33. Altmetric Badge
    Chapter 32 Automatic Testing of Real-Time Graphics Systems
  34. Altmetric Badge
    Chapter 33 Equivalence Checking of Quantum Protocols
  35. Altmetric Badge
    Chapter 34 Encoding Monomorphic and Polymorphic Types
  36. Altmetric Badge
    Chapter 35 Deriving Probability Density Functions from Probabilistic Functional Programs
  37. Altmetric Badge
    Chapter 36 Polyglot: Systematic Analysis for Multiple Statechart Formalisms
  38. Altmetric Badge
    Chapter 37 Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
  39. Altmetric Badge
    Chapter 38 BULL: A Library for Learning Algorithms of Boolean Functions
  40. Altmetric Badge
    Chapter 39 AppGuard – Enforcing User Requirements on Android Apps
  41. Altmetric Badge
    Chapter 40 Model Checking Database Applications
  42. Altmetric Badge
    Chapter 41 Efficient Property Preservation Checking of Model Refinements
  43. Altmetric Badge
    Chapter 42 Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
  44. Altmetric Badge
    Chapter 43 Second Competition on Software Verification
  45. Altmetric Badge
    Chapter 44 CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation
  46. Altmetric Badge
    Chapter 45 CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis
  47. Altmetric Badge
    Chapter 46 CSeq: A Sequentialization Tool for C
  48. Altmetric Badge
    Chapter 47 Handling Unbounded Loops with ESBMC 1.20
  49. Altmetric Badge
    Chapter 48 LLBMC: Improved Bounded Model Checking of C Programs Using LLVM
  50. Altmetric Badge
    Chapter 49 Predator: A Tool for Verification of Low-Level List Manipulation
  51. Altmetric Badge
    Chapter 50 Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution
  52. Altmetric Badge
    Chapter 51 Threader: A Verifier for Multi-threaded Programs
  53. Altmetric Badge
    Chapter 52 UFO: Verification with Interpolants and Abstract Interpretation
  54. Altmetric Badge
    Chapter 53 Ultimate Automizer with SMTInterpol
Attention for Chapter 23: An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
8 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
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
Chapter number 23
Book title
Tools and Algorithms for the Construction and Analysis of Systems
Published by
Springer Berlin Heidelberg, January 2013
DOI 10.1007/978-3-642-36742-7_23
Book ISBNs
978-3-64-236741-0, 978-3-64-236742-7
Authors

Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík, Bengt Jonsson, Ahmed Rezine

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.
As of 1 July 2024, you may notice a temporary increase in the numbers of X profiles with Unknown location. Click here to learn more.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Spain 1 13%
United States 1 13%
Germany 1 13%
Unknown 5 63%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 75%
Professor 1 13%
Student > Master 1 13%
Readers by discipline Count As %
Computer Science 7 88%
Unknown 1 13%