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

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 Quantitative Models for a Not So Dumb Grid
  3. Altmetric Badge
    Chapter 2 History-Aware Data Structure Repair Using SAT
  4. Altmetric Badge
    Chapter 3 The Guardol Language and Verification System
  5. Altmetric Badge
    Chapter 4 A Bit Too Precise? Bounded Verification of Quantized Digital Filters
  6. Altmetric Badge
    Chapter 5 Numeric Bounds Analysis with Conflict-Driven Learning
  7. Altmetric Badge
    Chapter 6 Ramsey-Based Analysis of Parity Automata
  8. Altmetric Badge
    Chapter 7 VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
  9. Altmetric Badge
    Chapter 8 LTL to Büchi Automata Translation: Fast and More Deterministic
  10. Altmetric Badge
    Chapter 9 Pushdown Model Checking for Malware Detection
  11. Altmetric Badge
    Chapter 10 Aspect-Oriented Runtime Monitor Certification
  12. Altmetric Badge
    Chapter 11 Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
  13. Altmetric Badge
    Chapter 12 From Under-Approximations to Over-Approximations and Back
  14. Altmetric Badge
    Chapter 13 Automated Analysis of AODV Using UPPAAL
  15. Altmetric Badge
    Chapter 14 Modeling and Verification of a Dual Chamber Implantable Pacemaker
  16. Altmetric Badge
    Chapter 15 Counter-Example Guided Fence Insertion under TSO
  17. Altmetric Badge
    Chapter 16 Java Memory Model-Aware Model Checking
  18. Altmetric Badge
    Chapter 17 Compositional Termination Proofs for Multi-threaded Programs
  19. Altmetric Badge
    Chapter 18 Deciding Conditional Termination
  20. Altmetric Badge
    Chapter 19 The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
  21. Altmetric Badge
    Chapter 20 Reduction-Based Formal Analysis of BGP Instances
  22. Altmetric Badge
    Chapter 21 Minimal Critical Subsystems for Discrete-Time Markov Models
  23. Altmetric Badge
    Chapter 22 Automatic Verification of Competitive Stochastic Systems
  24. Altmetric Badge
    Chapter 23 Coupling and Importance Sampling for Statistical Model Checking
  25. Altmetric Badge
    Chapter 24 Verifying pCTL Model Checking
  26. Altmetric Badge
    Chapter 25 Tools and Algorithms for the Construction and Analysis of Systems
  27. Altmetric Badge
    Chapter 26 QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification
  28. Altmetric Badge
    Chapter 27 Template-Based Controller Synthesis for Timed Systems
  29. Altmetric Badge
    Chapter 28 Zeno: An Automated Prover for Properties of Recursive Data Structures
  30. Altmetric Badge
    Chapter 29 A Proof Assistant for Alloy Specifications
  31. Altmetric Badge
    Chapter 30 Reachability under Contextual Locking
  32. Altmetric Badge
    Chapter 31 Bounded Phase Analysis of Message-Passing Programs
  33. Altmetric Badge
    Chapter 32 Demonstrating Learning of Register Automata
  34. Altmetric Badge
    Chapter 33 Symbolic Automata: The Toolkit
  35. Altmetric Badge
    Chapter 34 McScM: A General Framework for the Verification of Communicating Machines
  36. Altmetric Badge
    Chapter 35 SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
  37. Altmetric Badge
    Chapter 36 TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
  38. Altmetric Badge
    Chapter 37 A Platform for High Performance Statistical Model Checking – PLASMA
  39. Altmetric Badge
    Chapter 38 Competition on Software Verification
  40. Altmetric Badge
    Chapter 39 Predicate Analysis with BLAST 2.7
  41. Altmetric Badge
    Chapter 40 CPAchecker with Adjustable Predicate Analysis
  42. Altmetric Badge
    Chapter 41 Block Abstraction Memoization for CPAchecker
  43. Altmetric Badge
    Chapter 42 Context-Bounded Model Checking with ESBMC 1.17
  44. Altmetric Badge
    Chapter 43 Tools and Algorithms for the Construction and Analysis of Systems
  45. Altmetric Badge
    Chapter 44 LLBMC : A Bounded Model Checker for LLVM ’s Intermediate Representation
  46. Altmetric Badge
    Chapter 45 Predator: A Verification Tool for Programs with Dynamic Linked Data Structures
  47. Altmetric Badge
    Chapter 46 Tools and Algorithms for the Construction and Analysis of Systems
  48. Altmetric Badge
    Chapter 47 satabs : A Bit-Precise Verifier for C Programs
  49. Altmetric Badge
    Chapter 48 Wolverine : Battling Bugs with Interpolants
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
3 Wikipedia pages

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
14 Mendeley
Summary X Wikipedia Dimensions citations
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, March 2012
DOI 10.1007/978-3-642-28756-5
ISBNs
978-3-64-228755-8, 978-3-64-228756-5
Editors

Flanagan, Cormac, König, Barbara

View on publisher site
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 14 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 14 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 7%
Unknown 13 93%
Readers by discipline Count As %
Computer Science 1 7%
Unknown 13 93%

This page is provided by Altmetric.