↓ Skip to main content

Computer Aided Verification

Overview of attention for book
Cover of 'Computer Aided Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Formal Specifications on Industrial-Strength Code—From Myth to Reality
  3. Altmetric Badge
    Chapter 2 I Think I Voted: E-Voting vs. Democracy
  4. Altmetric Badge
    Chapter 3 Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs
  5. Altmetric Badge
    Chapter 4 The Ideal of Verified Software
  6. Altmetric Badge
    Chapter 5 Antichains: A New Algorithm for Checking Universality of Finite Automata
  7. Altmetric Badge
    Chapter 6 Safraless Compositional Synthesis
  8. Altmetric Badge
    Chapter 7 Minimizing Generalized Büchi Automata
  9. Altmetric Badge
    Chapter 8 Ticc : A Tool for Interface Compatibility and Composition
  10. Altmetric Badge
    Chapter 9 FAST Extended Release
  11. Altmetric Badge
    Chapter 10 Don’t Care Words with an Application to the Automata-Based Approach for Real Addition
  12. Altmetric Badge
    Chapter 11 A Fast Linear-Arithmetic Solver for DPLL(T)
  13. Altmetric Badge
    Chapter 12 Bounded Model Checking for Weak Alternating Büchi Automata
  14. Altmetric Badge
    Chapter 13 Deriving Small Unsatisfiable Cores with Dominators
  15. Altmetric Badge
    Chapter 14 Lazy Abstraction with Interpolants
  16. Altmetric Badge
    Chapter 15 Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop
  17. Altmetric Badge
    Chapter 16 Counterexamples with Loops for Predicate Abstraction
  18. Altmetric Badge
    Chapter 17 cascade: C Assertion Checker and Deductive Engine
  19. Altmetric Badge
    Chapter 18 Yasm : A Software Model-Checker for Verification and Refutation
  20. Altmetric Badge
    Chapter 19 SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation
  21. Altmetric Badge
    Chapter 20 Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
  22. Altmetric Badge
    Chapter 21 Some Complexity Results for SystemVerilog Assertions
  23. Altmetric Badge
    Chapter 22 Check It Out: On the Efficient Formal Verification of Live Sequence Charts
  24. Altmetric Badge
    Chapter 23 Computer Aided Verification
  25. Altmetric Badge
    Chapter 24 Communicating Timed Automata: The More Synchronous, the More Difficult to Verify
  26. Altmetric Badge
    Chapter 25 Allen Linear (Interval) Temporal Logic – Translation to LTL and Monitor Synthesis
  27. Altmetric Badge
    Chapter 26 DiVinE – A Tool for Distributed Verification
  28. Altmetric Badge
    Chapter 27 EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation
  29. Altmetric Badge
    Chapter 28 Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions
  30. Altmetric Badge
    Chapter 29 Model Checking Multithreaded Programs with Asynchronous Atomic Methods
  31. Altmetric Badge
    Chapter 30 Causal Atomicity
  32. Altmetric Badge
    Chapter 31 Languages of Nested Trees
  33. Altmetric Badge
    Chapter 32 Improving Pushdown System Model Checking
  34. Altmetric Badge
    Chapter 33 Repair of Boolean Programs with an Application to C
  35. Altmetric Badge
    Chapter 34 Termination of Integer Linear Programs
  36. Altmetric Badge
    Chapter 35 Automatic Termination Proofs for Programs with Shape-Shifting Heaps
  37. Altmetric Badge
    Chapter 36 Termination Analysis with Calling Context Graphs
  38. Altmetric Badge
    Chapter 37 Terminator : Beyond Safety
  39. Altmetric Badge
    Chapter 38 CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
  40. Altmetric Badge
    Chapter 39 SMT Techniques for Fast Predicate Abstraction
  41. Altmetric Badge
    Chapter 40 The Power of Hybrid Acceleration
  42. Altmetric Badge
    Chapter 41 Lookahead Widening
  43. Altmetric Badge
    Chapter 42 The Heuristic Theorem Prover: Yet Another SMT Modulo Theorem Prover
  44. Altmetric Badge
    Chapter 43 LEVER: A Tool for Learning Based Verification
  45. Altmetric Badge
    Chapter 44 Formal Verification of a Lazy Concurrent List-Based Set Algorithm
  46. Altmetric Badge
    Chapter 45 Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study
  47. Altmetric Badge
    Chapter 46 Fast and Generalized Polynomial Time Memory Consistency Verification
  48. Altmetric Badge
    Chapter 47 Programs with Lists Are Counter Automata
  49. Altmetric Badge
    Chapter 48 Lazy Shape Analysis
  50. Altmetric Badge
    Chapter 49 Abstraction for Shape Analysis with Fast and Precise Transformers
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
1 patent

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
35 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
Computer Aided Verification
Published by
Springer Science & Business Media, August 2006
DOI 10.1007/11817963
ISBNs
978-3-54-037406-0, 978-3-54-037411-4
Editors

Thomas Ball, Robert B. Jones

Mendeley readers

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

Geographical breakdown

Country Count As %
Germany 2 6%
United States 1 3%
Czechia 1 3%
Vietnam 1 3%
Unknown 30 86%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 8 23%
Student > Master 5 14%
Researcher 2 6%
Professor > Associate Professor 2 6%
Student > Postgraduate 1 3%
Other 3 9%
Unknown 14 40%
Readers by discipline Count As %
Computer Science 20 57%
Agricultural and Biological Sciences 1 3%
Unknown 14 40%