↓ Skip to main content
What is this page? Embed badge

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 53 Symbolic verification of communication protocols with infinite state spaces using QDDs
  3. Altmetric Badge
    Chapter 54 A conjunctively decomposed boolean representation for symbolic model checking
  4. Altmetric Badge
    Chapter 55 Symbolic model checking using algebraic geometry
  5. Altmetric Badge
    Chapter 56 A partition refinement algorithm for the π-calculus
  6. Altmetric Badge
    Chapter 57 Polynomial time algorithms for testing probabilistic bisimulation and simulation
  7. Altmetric Badge
    Chapter 58 Pushdown processes: Games and model checking
  8. Altmetric Badge
    Chapter 59 Module checking
  9. Altmetric Badge
    Chapter 60 Automatic verification of parameterized synchronous systems
  10. Altmetric Badge
    Chapter 61 HORNSAT, model checking, verification and games
  11. Altmetric Badge
    Chapter 62 Verifying the SRT division algorithm using theorem proving techniques
  12. Altmetric Badge
    Chapter 63 Modular verification of SRT division
  13. Altmetric Badge
    Chapter 64 Mechanically verifying a family of multiplier circuits
  14. Altmetric Badge
    Chapter 65 Verifying systems with replicated components in murϕ
  15. Altmetric Badge
    Chapter 66 Verification of arithmetic circuits by comparing two similar circuits
  16. Altmetric Badge
    Chapter 67 Automated deduction and formal methods
  17. Altmetric Badge
    Chapter 68 A platform for combining deductive with algorithmic verification
  18. Altmetric Badge
    Chapter 69 Verifying invariants using theorem proving
  19. Altmetric Badge
    Chapter 70 Deductive model checking
  20. Altmetric Badge
    Chapter 71 Automated verification by induction with associative-commutative operators
  21. Altmetric Badge
    Chapter 72 Analysis of timed systems based on time-abstracting bisimulations
  22. Altmetric Badge
    Chapter 73 Verification of an Audio Protocol with bus collision using Uppaal
  23. Altmetric Badge
    Chapter 74 Selective quantitative analysis and interval model checking: Verifying different facets of a system
  24. Altmetric Badge
    Chapter 75 Verifying continuous time Markov chains
  25. Altmetric Badge
    Chapter 76 Verifying safety properties of differential equations
  26. Altmetric Badge
    Chapter 77 Temporal verification by diagram transformations
  27. Altmetric Badge
    Chapter 78 Protocol verification by aggregation of distributed transactions
  28. Altmetric Badge
    Chapter 79 Atomicity refinement and trace reduction theorems
  29. Altmetric Badge
    Chapter 80 Powerful techniques for the automatic generation of invariants
  30. Altmetric Badge
    Chapter 81 Saving space by fully exploiting invisible transitions
  31. Altmetric Badge
    Chapter 82 Using on-the-fly verification techniques for the generation of test suites
  32. Altmetric Badge
    Chapter 83 Automatic translation of natural language system specifications into temporal logic
  33. Altmetric Badge
    Chapter 84 Verification of fair transition systems
  34. Altmetric Badge
    Chapter 85 The state of Spin
  35. Altmetric Badge
    Chapter 86 The Mur ϕ verification system
  36. Altmetric Badge
    Chapter 87 The NCSU Concurrency Workbench
  37. Altmetric Badge
    Chapter 88 The Concurrency Factory: A development environment for concurrent systems
  38. Altmetric Badge
    Chapter 89 XVERSA: An integrated graphical and textual toolset for the specification and analysis of resource-bound real-time systems
  39. Altmetric Badge
    Chapter 90 EVP: Integration of FDTs for the analysis and verification of communication protocols
  40. Altmetric Badge
    Chapter 91 PVS: Combining specification, proof checking, and model checking
  41. Altmetric Badge
    Chapter 92 STeP: Deductive-algorithmic verification of reactive and real-time systems
  42. Altmetric Badge
    Chapter 93 Symbolic model checking
  43. Altmetric Badge
    Chapter 94 COSPAN
  44. Altmetric Badge
    Chapter 95 VIS: A system for verification and synthesis
  45. Altmetric Badge
    Chapter 96 MDG tools for the verification of RTL designs
  46. Altmetric Badge
    Chapter 97 CADP a protocol validation and verification toolbox
  47. Altmetric Badge
    Chapter 98 The FC2TOOLS set
  48. Altmetric Badge
    Chapter 99 The Real-Time Graphical Interval Logic toolset
  49. Altmetric Badge
    Chapter 100 The METAFrame'95 environment
  50. Altmetric Badge
    Chapter 101 Verification Support Environment
  51. Altmetric Badge
    Chapter 102 Marrella: A tool for simulation and verification
  52. Altmetric Badge
    Chapter 103 Verifying the safety of a practical concurrent garbage collector
  53. Altmetric Badge
    Chapter 104 Verification by behaviour abstraction
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
23 Dimensions

Readers on

mendeley
13 Mendeley
Summary Wikipedia Dimensions citations
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 Berlin Heidelberg, January 2006
DOI 10.1007/3-540-61474-5
ISBNs
978-3-54-061474-6, 978-3-54-068599-9
Editors

Alur, Rajeev, Henzinger, Thomas A.

View on publisher site

This page is provided by Altmetric.