↓ 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 Embedded Systems Design — Scientific Challenges and Work Directions
  3. Altmetric Badge
    Chapter 2 Antichain Algorithms for Finite Automata
  4. Altmetric Badge
    Chapter 3 Tools and Algorithms for the Construction and Analysis of Systems
  5. Altmetric Badge
    Chapter 4 Simple O(m logn) Time Markov Chain Lumping
  6. Altmetric Badge
    Chapter 5 Model Checking Interactive Markov Chains
  7. Altmetric Badge
    Chapter 6 Approximating the Pareto Front of Multi-criteria Optimization Problems
  8. Altmetric Badge
    Chapter 7 An Alternative to SAT-Based Approaches for Bit-Vectors
  9. Altmetric Badge
    Chapter 8 Satisfiability Modulo the Theory of Costs: Foundations and Applications
  10. Altmetric Badge
    Chapter 9 Optimal Tableau Algorithms for Coalgebraic Logics
  11. Altmetric Badge
    Chapter 10 Blocked Clause Elimination
  12. Altmetric Badge
    Chapter 11 Boom: Taking Boolean Program Model Checking One Step Further
  13. Altmetric Badge
    Chapter 12 The OpenSMT Solver
  14. Altmetric Badge
    Chapter 13 Stranger: An Automata-Based String Analysis Tool for PHP
  15. Altmetric Badge
    Chapter 14 When Simulation Meets Antichains
  16. Altmetric Badge
    Chapter 15 On Weak Modal Compatibility, Refinement, and the MIO Workbench
  17. Altmetric Badge
    Chapter 16 Rational Synthesis
  18. Altmetric Badge
    Chapter 17 Efficient Büchi Universality Checking
  19. Altmetric Badge
    Chapter 18 Automated Termination Analysis for Programs with Second-Order Recursion
  20. Altmetric Badge
    Chapter 19 Ranking Function Synthesis for Bit-Vector Relations
  21. Altmetric Badge
    Chapter 20 Fairness for Dynamic Control
  22. Altmetric Badge
    Chapter 21 JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution
  23. Altmetric Badge
    Chapter 22 SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems
  24. Altmetric Badge
    Chapter 23 Tracking Heaps That Hop with Heap-Hop
  25. Altmetric Badge
    Chapter 24 Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors
  26. Altmetric Badge
    Chapter 25 Simplifying Linearizability Proofs with Reduction and Abstraction
  27. Altmetric Badge
    Chapter 26 A Polymorphic Intermediate Verification Language: Design and Logical Encoding
  28. Altmetric Badge
    Chapter 27 Trace-Based Symbolic Analysis for Atomicity Violations
  29. Altmetric Badge
    Chapter 28 ACS: Automatic Converter Synthesis for SoC Bus Protocols
  30. Altmetric Badge
    Chapter 29 AlPiNA: An Algebraic Petri Net Analyzer
  31. Altmetric Badge
    Chapter 30 PASS: Abstraction Refinement for Infinite Probabilistic Models
  32. Altmetric Badge
    Chapter 31 Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions
  33. Altmetric Badge
    Chapter 32 Computing the Leakage of Information-Hiding Systems
  34. Altmetric Badge
    Chapter 33 Statistical Measurement of Information Leakage
  35. Altmetric Badge
    Chapter 34 SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata
  36. Altmetric Badge
    Chapter 35 Preemption Sealing for Efficient Concurrency Testing
  37. Altmetric Badge
    Chapter 36 Code Mutation in Verification and Automatic Code Correction
  38. Altmetric Badge
    Chapter 37 Efficient Detection of Errors in Java Components Using Random Environment and Restarts
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
5 Mendeley
Summary Wikipedia
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 2010
DOI 10.1007/978-3-642-12002-2
ISBNs
978-3-64-212001-5, 978-3-64-212002-2
Editors

Javier Esparza, Rupak Majumdar

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 20%
Unknown 4 80%
Readers by discipline Count As %
Engineering 1 20%
Unknown 4 80%

This page is provided by Altmetric.