↓ 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 Computer-hindered verification (humans can do it too)
  3. Altmetric Badge
    Chapter 2 Modular abstractions for verifying real-time distributed systems
  4. Altmetric Badge
    Chapter 3 Layering techniques for development of parallel systems
  5. Altmetric Badge
    Chapter 4 Efficient local correctness checking
  6. Altmetric Badge
    Chapter 5 Mechanical verification of concurrent systems with TLA
  7. Altmetric Badge
    Chapter 6 Using a theorem prover for reasoning about concurrent algorithms
  8. Altmetric Badge
    Chapter 7 Verifying a logic synthesis tool in Nuprl: A case study in software verification
  9. Altmetric Badge
    Chapter 8 Higher-level specification and verification with BDDs
  10. Altmetric Badge
    Chapter 9 Symbolic bisimulation minimisation
  11. Altmetric Badge
    Chapter 10 Towards a verification technique for large synchronous circuits
  12. Altmetric Badge
    Chapter 11 Verifying timed behavior automata with nonbinary delay constraints
  13. Altmetric Badge
    Chapter 12 Timing verification by successive approximation
  14. Altmetric Badge
    Chapter 13 A verification strategy for timing constrained systems
  15. Altmetric Badge
    Chapter 14 Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits
  16. Altmetric Badge
    Chapter 15 State space caching revisited
  17. Altmetric Badge
    Chapter 16 Verification in process algebra of the distributed control of track vehicles—A case study
  18. Altmetric Badge
    Chapter 17 Design verification of a microprocessor using branching time regular temporal logic
  19. Altmetric Badge
    Chapter 18 A case study in safety-critical design
  20. Altmetric Badge
    Chapter 19 Automatic reduction in CTL compositional model checking
  21. Altmetric Badge
    Chapter 20 Compositional model checking for linear-time temporal logic
  22. Altmetric Badge
    Chapter 21 Property preserving simulations
  23. Altmetric Badge
    Chapter 22 Verification with real-time COSPAN
  24. Altmetric Badge
    Chapter 23 Model-checking for real-time systems specified in Lotos
  25. Altmetric Badge
    Chapter 24 Decidability of bisimulation equivalences for parallel timer processes
  26. Altmetric Badge
    Chapter 25 A proof assistant for symbolic model-checking
  27. Altmetric Badge
    Chapter 26 Tableau recycling
  28. Altmetric Badge
    Chapter 27 Crocos: An integrated environment for interactive verification of SDL specifications
  29. Altmetric Badge
    Chapter 28 Verifying general safety and liveness properties with integer programming
  30. Altmetric Badge
    Chapter 29 Generating diagnostic information for behavioral preorders
  31. Altmetric Badge
    Chapter 30 A verification procedure via invariant for extended communicating finite-state machines
  32. Altmetric Badge
    Chapter 31 Efficient ω-regular language containment
  33. Altmetric Badge
    Chapter 32 Faster model checking for the modal Mu-Calculus
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Readers on

mendeley
2 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 Berlin Heidelberg, January 2006
DOI 10.1007/3-540-56496-9
ISBNs
978-3-54-056496-6, 978-3-54-047572-9
Editors

Bochmann, Gregor, Probst, David Karl

Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 100%
Readers by discipline Count As %
Computer Science 2 100%