↓ 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 Branching vs. Linear Time: Final Showdown
  3. Altmetric Badge
    Chapter 2 Propositional Reasoning
  4. Altmetric Badge
    Chapter 3 Language Containment Checking with Nondeterministic BDDs
  5. Altmetric Badge
    Chapter 4 Satisfiability Checking Using Boolean Expression Diagrams
  6. Altmetric Badge
    Chapter 5 A Library for Composite Symbolic Representations
  7. Altmetric Badge
    Chapter 6 Synthesis of Linear Ranking Functions
  8. Altmetric Badge
    Chapter 7 Automatic Deductive Verification with Invisible Invariants
  9. Altmetric Badge
    Chapter 8 Incremental Verification by Abstraction
  10. Altmetric Badge
    Chapter 9 A Technique for Invariant Generation
  11. Altmetric Badge
    Chapter 10 Model Checking Syllabi and Student Careers
  12. Altmetric Badge
    Chapter 11 Verification of Vortex Workflows
  13. Altmetric Badge
    Chapter 12 Parameterized Verification of Multithreaded Software Libraries
  14. Altmetric Badge
    Chapter 13 Efficient Guiding Towards Cost-Optimality in UPPAAL
  15. Altmetric Badge
    Chapter 14 Linear Parametric Model Checking of Timed Automata
  16. Altmetric Badge
    Chapter 15 Abstraction in Probabilistic Process Algebra
  17. Altmetric Badge
    Chapter 16 First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders
  18. Altmetric Badge
    Chapter 17 Hardware/Software Co-design Using Functional Languages
  19. Altmetric Badge
    Chapter 18 Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors
  20. Altmetric Badge
    Chapter 19 Boolean and Cartesian Abstraction for Model Checking C Programs
  21. Altmetric Badge
    Chapter 20 Finding Feasible Counter-examples when Model Checking Abstracted Java Programs
  22. Altmetric Badge
    Chapter 21 The loop Compiler for Java and JML
  23. Altmetric Badge
    Chapter 22 Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking
  24. Altmetric Badge
    Chapter 23 Saturation: An Efficient Iteration Strategy for Symbolic State—Space Generation
  25. Altmetric Badge
    Chapter 24 Automated Test Generation from Timed Automata
  26. Altmetric Badge
    Chapter 25 Testing an Intentional Naming Scheme Using Genetic Algorithms
  27. Altmetric Badge
    Chapter 26 Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions
  28. Altmetric Badge
    Chapter 27 TATOO: T esting and A nalysis T ool for O bject- O riented Software
  29. Altmetric Badge
    Chapter 28 Implementing a Multi-valued Symbolic Model Checker
  30. Altmetric Badge
    Chapter 29 Is There a Best Symbolic Cycle-Detection Algorithm?
  31. Altmetric Badge
    Chapter 30 Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
  32. Altmetric Badge
    Chapter 31 A Sweep-Line Method for State Space Exploration
  33. Altmetric Badge
    Chapter 32 Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams
  34. Altmetric Badge
    Chapter 33 Simulation Revisited
  35. Altmetric Badge
    Chapter 34 Compositional Message Sequence Charts
  36. Altmetric Badge
    Chapter 35 An Automata Based Interpretation of Live Sequence Charts
  37. Altmetric Badge
    Chapter 36 Coverage Metrics for Temporal Logic Model Checking
  38. Altmetric Badge
    Chapter 37 Parallel Model Checking for the Alternation Free μ-Calculus
  39. Altmetric Badge
    Chapter 38 Model Checking CTL*[DC]
  40. Altmetric Badge
    Chapter 39 CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS
  41. Altmetric Badge
    Chapter 40 The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models
  42. Altmetric Badge
    Chapter 41 The Erlang Verification Tool
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
21 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, June 2003
DOI 10.1007/3-540-45319-9
ISBNs
978-3-54-041865-8, 978-3-54-045319-2
Editors

Margaria, Tiziana, Yi, Wang

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 1 5%
Austria 1 5%
Unknown 19 90%

Demographic breakdown

Readers by professional status Count As %
Researcher 5 24%
Student > Ph. D. Student 5 24%
Student > Master 3 14%
Professor 1 5%
Other 1 5%
Other 0 0%
Unknown 6 29%
Readers by discipline Count As %
Computer Science 14 67%
Agricultural and Biological Sciences 1 5%
Unknown 6 29%