↓ 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 Applications of Craig Interpolants in Model Checking
  3. Altmetric Badge
    Chapter 2 Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking
  4. Altmetric Badge
    Chapter 3 Simulation-Based Iteration of Tree Transducers
  5. Altmetric Badge
    Chapter 4 Using Language Inference to Verify Omega-Regular Properties
  6. Altmetric Badge
    Chapter 5 On-the-Fly Reachability and Cycle Detection for Recursive State Machines
  7. Altmetric Badge
    Chapter 6 Empirically Efficient Verification for a Class of Infinite-State Systems
  8. Altmetric Badge
    Chapter 7 Context-Bounded Model Checking of Concurrent Software
  9. Altmetric Badge
    Chapter 8 A Generic Theorem Prover of CSP Refinement
  10. Altmetric Badge
    Chapter 9 Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
  11. Altmetric Badge
    Chapter 10 An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation
  12. Altmetric Badge
    Chapter 11 Dependent Types for Program Understanding
  13. Altmetric Badge
    Chapter 12 A Note on On-the-Fly Verification Algorithms
  14. Altmetric Badge
    Chapter 13 Truly On-the-Fly LTL Model Checking
  15. Altmetric Badge
    Chapter 14 Complementation Constructions for Nondeterministic Automata on Infinite Words
  16. Altmetric Badge
    Chapter 15 Using BDDs to Decide CTL
  17. Altmetric Badge
    Chapter 16 Model Checking Infinite-State Markov Chains
  18. Altmetric Badge
    Chapter 17 Algorithmic Verification of Recursive Probabilistic State Machines
  19. Altmetric Badge
    Chapter 18 Monte Carlo Model Checking
  20. Altmetric Badge
    Chapter 19 Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit
  21. Altmetric Badge
    Chapter 20 Bounded Validity Checking of Interval Duration Logic
  22. Altmetric Badge
    Chapter 21 An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
  23. Altmetric Badge
    Chapter 22 A Two-Tier Technique for Supporting Quantifiers in a Lazily Proof-Explicating Theorem Prover
  24. Altmetric Badge
    Chapter 23 Symbolic Test Selection Based on Approximate Analysis
  25. Altmetric Badge
    Chapter 24 Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
  26. Altmetric Badge
    Chapter 25 Dynamic Symmetry Reduction
  27. Altmetric Badge
    Chapter 26 Localization and Register Sharing for Predicate Abstraction
  28. Altmetric Badge
    Chapter 27 On Some Transformation Invariants Under Retiming and Resynthesis
  29. Altmetric Badge
    Chapter 28 Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs
  30. Altmetric Badge
    Chapter 29 Temporal Logic for Scenario-Based Specifications
  31. Altmetric Badge
    Chapter 30 Mining Temporal Specifications for Error Detection
  32. Altmetric Badge
    Chapter 31 A New Algorithm for Strategy Synthesis in LTL Games
  33. Altmetric Badge
    Chapter 32 Shortest Counterexamples for Symbolic Model Checking of LTL with Past
  34. Altmetric Badge
    Chapter 33 Snapshot Verification
  35. Altmetric Badge
    Chapter 34 Time-Efficient Model Checking with Magnetic Disk
  36. Altmetric Badge
    Chapter 35 jMoped: A Java Bytecode Checker Based on Moped
  37. Altmetric Badge
    Chapter 36 Java-MOP: A Monitoring Oriented Programming Environment for Java
  38. Altmetric Badge
    Chapter 37 Tools and Algorithms for the Construction and Analysis of Systems
  39. Altmetric Badge
    Chapter 38 jETI: A Tool for Remote Tool Integration
  40. Altmetric Badge
    Chapter 39 FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
  41. Altmetric Badge
    Chapter 40 SATABS: SAT-Based Predicate Abstraction for ANSI-C
  42. Altmetric Badge
    Chapter 41 DiVer : SAT-Based Model Checking Platform for Verifying Large Scale Systems
  43. Altmetric Badge
    Chapter 42 BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
patent
1 patent
wikipedia
1 Wikipedia page

Citations

dimensions_citation
10 Dimensions

Readers on

mendeley
84 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, January 2005
DOI 10.1007/b107194
ISBNs
978-3-54-025333-4, 978-3-54-031980-1
Editors

Nicolas Halbwachs, Lenore D. Zuck

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

Geographical breakdown

Country Count As %
United States 6 7%
Korea, Republic of 3 4%
Germany 2 2%
United Kingdom 1 1%
Portugal 1 1%
Austria 1 1%
Canada 1 1%
Unknown 69 82%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 31 37%
Student > Master 15 18%
Researcher 11 13%
Student > Bachelor 9 11%
Professor > Associate Professor 6 7%
Other 12 14%
Readers by discipline Count As %
Computer Science 74 88%
Unspecified 3 4%
Engineering 2 2%
Business, Management and Accounting 1 1%
Economics, Econometrics and Finance 1 1%
Other 3 4%