↓ Skip to main content

Computer Aided Verification

Overview of attention for book
Computer Aided Verification
Springer Science & Business Media

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Rob Tristan Gerth: 1956–2003
  3. Altmetric Badge
    Chapter 2 Static Program Analysis via 3-Valued Logic
  4. Altmetric Badge
    Chapter 3 Deductive Verification of Pipelined Machines Using First-Order Quantification
  5. Altmetric Badge
    Chapter 4 A Formal Reduction for Lock-Free Parallel Algorithms
  6. Altmetric Badge
    Chapter 5 An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking
  7. Altmetric Badge
    Chapter 6 Termination of Linear Programs
  8. Altmetric Badge
    Chapter 7 Symbolic Model Checking of Non-regular Properties
  9. Altmetric Badge
    Chapter 8 Proving More Properties with Bounded Model Checking
  10. Altmetric Badge
    Chapter 9 Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings
  11. Altmetric Badge
    Chapter 10 Using Interface Refinement to Integrate Formal Verification into the Design Cycle
  12. Altmetric Badge
    Chapter 11 Indexed Predicate Discovery for Unbounded System Verification
  13. Altmetric Badge
    Chapter 12 Range Allocation for Separation Logic
  14. Altmetric Badge
    Chapter 13 An Experimental Evaluation of Ground Decision Procedures
  15. Altmetric Badge
    Chapter 14 DPLL( T ): Fast Decision Procedures
  16. Altmetric Badge
    Chapter 15 Verifying ω -Regular Properties of Markov Chains
  17. Altmetric Badge
    Chapter 16 Statistical Model Checking of Black-Box Probabilistic Systems
  18. Altmetric Badge
    Chapter 17 Compositional Specification and Model Checking in GSTE
  19. Altmetric Badge
    Chapter 18 GSTE Is Partitioned Model Checking
  20. Altmetric Badge
    Chapter 19 Stuck-Free Conformance
  21. Altmetric Badge
    Chapter 20 Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors
  22. Altmetric Badge
    Chapter 21 Functional Dependency for Verification Reduction
  23. Altmetric Badge
    Chapter 22 Verification via Structure Simulation
  24. Altmetric Badge
    Chapter 23 Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
  25. Altmetric Badge
    Chapter 24 Abstraction-Based Satisfiability Solving of Presburger Arithmetic
  26. Altmetric Badge
    Chapter 25 Widening Arithmetic Automata
  27. Altmetric Badge
    Chapter 26 Why Model Checking Can Improve WCET Analysis
  28. Altmetric Badge
    Chapter 27 Regular Model Checking for LTL(MSO)
  29. Altmetric Badge
    Chapter 28 Image Computation in Infinite State Model Checking
  30. Altmetric Badge
    Chapter 29 Abstract Regular Model Checking
  31. Altmetric Badge
    Chapter 30 Global Model-Checking of Infinite-State Systems
  32. Altmetric Badge
    Chapter 31 QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings
  33. Altmetric Badge
    Chapter 32 Verification of an Advanced mips -Type Out-of-Order Execution Algorithm
  34. Altmetric Badge
    Chapter 33 Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
  35. Altmetric Badge
    Chapter 34 Efficient Modeling of Embedded Memories in Bounded Model Checking
  36. Altmetric Badge
    Chapter 35 Understanding Counterexamples with explain
  37. Altmetric Badge
    Chapter 36 Zapato : Automatic Theorem Proving for Predicate Abstraction Refinement
  38. Altmetric Badge
    Chapter 37 JNuke: Efficient Dynamic Analysis for Java
  39. Altmetric Badge
    Chapter 38 The HiVy Tool Set
  40. Altmetric Badge
    Chapter 39 ObsSlice : A Timed Automata Slicer Based on Observers
  41. Altmetric Badge
    Chapter 40 The UCLID Decision Procedure
  42. Altmetric Badge
    Chapter 41 MCK: Model Checking the Logic of Knowledge
  43. Altmetric Badge
    Chapter 42 Zing: A Model Checker for Concurrent Software
  44. Altmetric Badge
    Chapter 43 The Mec 5 Model-Checker
  45. Altmetric Badge
    Chapter 44 PlayGame: A Platform for Diagnostic Games
  46. Altmetric Badge
    Chapter 45 SAL 2
  47. Altmetric Badge
    Chapter 46 Formal Analysis of Java Programs in JavaFAN
  48. Altmetric Badge
    Chapter 47 A Toolset for Modelling and Verification of GALS Systems
  49. Altmetric Badge
    Chapter 48 WSAT: A Tool for Formal Analysis of Web Services
  50. Altmetric Badge
    Chapter 49 CVC Lite: A New Implementation of the Cooperating Validity Checker
  51. Altmetric Badge
    Chapter 50 CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking
  52. Altmetric Badge
    Chapter 51 Mechanical Mathematical Methods for Microprocessor Verification
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Readers on

mendeley
1 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, June 2004
DOI 10.1007/b98490
ISBNs
978-3-54-022342-9, 978-3-54-027813-9
Editors

Alur, Rajeev, Peled, Doron A.

Timeline

Login to access the full chart related to this output.

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

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Engineering 1 100%