↓ 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 What Are We Trying to Prove? Reflections on Experiences with Proof-Carrying Code
  3. Altmetric Badge
    Chapter 2 Automatic Abstraction without Counterexamples
  4. Altmetric Badge
    Chapter 3 Bounded Model Checking for Past LTL
  5. Altmetric Badge
    Chapter 4 Experimental Analysis of Different Techniques for Bounded Model Checking
  6. Altmetric Badge
    Chapter 5 On the Universal and Existential Fragments of the μ-Calculus
  7. Altmetric Badge
    Chapter 6 Resets vs. Aborts in Linear Temporal Logic
  8. Altmetric Badge
    Chapter 7 A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems
  9. Altmetric Badge
    Chapter 8 Decidability of Invariant Validation for Paramaterized Systems
  10. Altmetric Badge
    Chapter 9 Verification and Improvement of the Sliding Window Protocol
  11. Altmetric Badge
    Chapter 10 Simple Representative Instantiations for Multicast Protocols
  12. Altmetric Badge
    Chapter 11 Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols
  13. Altmetric Badge
    Chapter 12 Proof-Like Counter-Examples
  14. Altmetric Badge
    Chapter 13 Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation
  15. Altmetric Badge
    Chapter 14 Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement
  16. Altmetric Badge
    Chapter 15 Counter-Example Guided Predicate Abstraction of Hybrid Systems
  17. Altmetric Badge
    Chapter 16 Schedulability Analysis Using Two Clocks
  18. Altmetric Badge
    Chapter 17 On Optimal Scheduling under Uncertainty
  19. Altmetric Badge
    Chapter 18 Static Guard Analysis in Timed Automata Verification
  20. Altmetric Badge
    Chapter 19 Moby /DC – A Tool for Model-Checking Parametric Real-Time Specifications
  21. Altmetric Badge
    Chapter 20 √erics: A Tool for Verifying Timed Automata and Estelle Specifications
  22. Altmetric Badge
    Chapter 21 A New Knowledge Representation Strategy for Cryptographic Protocol Analysis
  23. Altmetric Badge
    Chapter 22 Pattern-Based Abstraction for Verifying Secrecy in Protocols
  24. Altmetric Badge
    Chapter 23 Compositional Analysis for Verification of Parameterized Systems
  25. Altmetric Badge
    Chapter 24 Learning Assumptions for Compositional Verification
  26. Altmetric Badge
    Chapter 25 Automated Module Composition
  27. Altmetric Badge
    Chapter 26 Modular Strategies for Recursive Game Graphs
  28. Altmetric Badge
    Chapter 27 Saturation Unbound
  29. Altmetric Badge
    Chapter 28 Construction of Efficient BDDs for Bounded Arithmetic Constraints
  30. Altmetric Badge
    Chapter 29 Modeling and Analysis of Power-Aware Systems
  31. Altmetric Badge
    Chapter 30 A Set of Performance and Dependability Analysis Components for CADP
  32. Altmetric Badge
    Chapter 31 The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems
  33. Altmetric Badge
    Chapter 32 Banana - A Tool for Boundary Ambients Nesting ANAlysis
  34. Altmetric Badge
    Chapter 33 State Class Constructions for Branching Analysis of Time Petri Nets
  35. Altmetric Badge
    Chapter 34 Branching Processes of High-Level Petri Nets
  36. Altmetric Badge
    Chapter 35 Using Petri Net Invariants in State Space Construction
  37. Altmetric Badge
    Chapter 36 Optimistic Synchronization-Based State-Space Reduction
  38. Altmetric Badge
    Chapter 37 Checking Properties of Heap-Manipulating Procedures with a Constraint Solver
  39. Altmetric Badge
    Chapter 38 An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic
  40. Altmetric Badge
    Chapter 39 Strategies for Combining Decision Procedures
  41. Altmetric Badge
    Chapter 40 Generalized Symbolic Execution for Model Checking and Testing
  42. Altmetric Badge
    Chapter 41 Code-Based Test Generation for Validation of Functional Processor Descriptions
  43. Altmetric Badge
    Chapter 42 Large State Space Visualization
  44. Altmetric Badge
    Chapter 43 Automatic Test Generation with AGATHA
  45. Altmetric Badge
    Chapter 44 LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
7 Dimensions

Readers on

mendeley
1 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, July 2003
DOI 10.1007/3-540-36577-x
ISBNs
978-3-54-000898-9, 978-3-54-036577-8
Editors

Garavel, Hubert, Hatcliff, John

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 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 100%
Readers by discipline Count As %
Computer Science 1 100%