↓ 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 THERE AND BACK AGAIN: Lessons Learned on the Way to the Market
  3. Altmetric Badge
    Chapter 2 Verifying Object-Oriented Software: Lessons and Challenges
  4. Altmetric Badge
    Chapter 3 Shape Analysis by Graph Decomposition
  5. Altmetric Badge
    Chapter 4 A Reachability Predicate for Analyzing Low-Level Software
  6. Altmetric Badge
    Chapter 5 Generating Representation Invariants of Structurally Complex Data
  7. Altmetric Badge
    Chapter 6 Multi-objective Model Checking of Markov Decision Processes
  8. Altmetric Badge
    Chapter 7 Tools and Algorithms for the Construction and Analysis of Systems
  9. Altmetric Badge
    Chapter 8 Counterexamples in Probabilistic Model Checking
  10. Altmetric Badge
    Chapter 9 Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
  11. Altmetric Badge
    Chapter 10 Causal Dataflow Analysis for Concurrent Programs
  12. Altmetric Badge
    Chapter 11 Type-Dependence Analysis and Program Transformation for Symbolic Execution
  13. Altmetric Badge
    Chapter 12 JPF–SE: A Symbolic Execution Extension to Java PathFinder
  14. Altmetric Badge
    Chapter 13 A Symbolic Algorithm for Optimal Markov Chain Lumping
  15. Altmetric Badge
    Chapter 14 Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
  16. Altmetric Badge
    Chapter 15 Model Checking Probabilistic Timed Automata with One or Two Clocks
  17. Altmetric Badge
    Chapter 16 Adaptor Synthesis for Real-Time Components
  18. Altmetric Badge
    Chapter 17 Deciding an Interval Logic with Accumulated Durations
  19. Altmetric Badge
    Chapter 18 From Time Petri Nets to Timed Automata: An Untimed Approach
  20. Altmetric Badge
    Chapter 19 Complexity in Simplicity: Flexible Agent-Based State Space Exploration
  21. Altmetric Badge
    Chapter 20 On Sampling Abstraction of Continuous Time Logic with Durations
  22. Altmetric Badge
    Chapter 21 Assume-Guarantee Synthesis
  23. Altmetric Badge
    Chapter 22 Optimized L*-Based Assume-Guarantee Reasoning
  24. Altmetric Badge
    Chapter 23 Refining Interface Alphabets for Compositional Verification
  25. Altmetric Badge
    Chapter 24 MAVEN: Modular Aspect Verification
  26. Altmetric Badge
    Chapter 25 Model Checking Liveness Properties of Genetic Regulatory Networks
  27. Altmetric Badge
    Chapter 26 Checking Pedigree Consistency with PCS
  28. Altmetric Badge
    Chapter 27 “Don’t Care” Modeling: A Logical Framework for Developing Predictive System Models
  29. Altmetric Badge
    Chapter 28 Deciding Bit-Vector Arithmetic with Abstraction
  30. Altmetric Badge
    Chapter 29 Abstraction Refinement of Linear Programs with Arrays
  31. Altmetric Badge
    Chapter 30 Property-Driven Partitioning for Abstraction Refinement
  32. Altmetric Badge
    Chapter 31 Combining Abstraction Refinement and SAT-Based Model Checking
  33. Altmetric Badge
    Chapter 32 Detecting Races in Ensembles of Message Sequence Charts
  34. Altmetric Badge
    Chapter 33 Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning
  35. Altmetric Badge
    Chapter 34 Improved Algorithms for the Automata-Based Approach to Model-Checking
  36. Altmetric Badge
    Chapter 35 GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae
  37. Altmetric Badge
    Chapter 36 Faster Algorithms for Finitary Games
  38. Altmetric Badge
    Chapter 37 Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs ,
  39. Altmetric Badge
    Chapter 38 motor :The modest Tool Environment
  40. Altmetric Badge
    Chapter 39 Syntactic Optimizations for PSL Verification
  41. Altmetric Badge
    Chapter 40 The Heterogeneous Tool Set, Hets
  42. Altmetric Badge
    Chapter 41 Searching for Shapes in Cryptographic Protocols
  43. Altmetric Badge
    Chapter 42 Automatic Analysis of the Security of XOR-Based Key Management Schemes
  44. Altmetric Badge
    Chapter 43 State of the Union: Type Inference Via Craig Interpolation
  45. Altmetric Badge
    Chapter 44 Hoare Logic for Realistically Modelled Machine Code
  46. Altmetric Badge
    Chapter 45 VCEGAR : Verilog CounterExample Guided Abstraction Refinement
  47. Altmetric Badge
    Chapter 46 Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications
  48. Altmetric Badge
    Chapter 47 Combined Satisfiability Modulo Parametric Theories
  49. Altmetric Badge
    Chapter 48 A Gröbner Basis Approach to CNF-Formulae Preprocessing
  50. Altmetric Badge
    Chapter 49 Kodkod: A Relational Model Finder
  51. Altmetric Badge
    Chapter 50 Bounded Reachability Checking of Asynchronous Systems Using Decision Diagrams
  52. Altmetric Badge
    Chapter 51 Model Checking on Trees with Path Equivalences
  53. Altmetric Badge
    Chapter 52 Uppaal/DMC – Abstraction-Based Heuristics for Directed Model Checking
  54. Altmetric Badge
    Chapter 53 Distributed Analysis with μ CRL: A Compendium of Case Studies
  55. Altmetric Badge
    Chapter 54 A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes
  56. Altmetric Badge
    Chapter 55 Unfolding Concurrent Well-Structured Transition Systems
  57. Altmetric Badge
    Chapter 56 Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
78 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 2007
DOI 10.1007/978-3-540-71209-1
ISBNs
978-3-54-071208-4, 978-3-54-071209-1
Editors

Grumberg, Orna, Huth, Michael

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 4 5%
Germany 2 3%
Luxembourg 1 1%
South Africa 1 1%
Vietnam 1 1%
Canada 1 1%
Unknown 68 87%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 23 29%
Student > Master 19 24%
Researcher 10 13%
Student > Bachelor 6 8%
Student > Postgraduate 3 4%
Other 12 15%
Unknown 5 6%
Readers by discipline Count As %
Computer Science 65 83%
Unspecified 3 4%
Engineering 3 4%
Social Sciences 1 1%
Agricultural and Biological Sciences 1 1%
Other 0 0%
Unknown 5 6%