Computer Aided Verification

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 39 A determinizable class of timed automata
3. Altmetric Badge
   Chapter 40 Real-time system verification using P/T nets
4. Altmetric Badge
   Chapter 41 Criteria for the simple path property in timed automata
5. Altmetric Badge
   Chapter 42 Hierarchical representations of discrete functions, with application to model checking
6. Altmetric Badge
   Chapter 43 Symbolic verification with periodic sets
7. Altmetric Badge
   Chapter 44 Automatic verification of pipelined microprocessor control
8. Altmetric Badge
   Chapter 45 Using abstractions for the verification of linear hybrid systems
9. Altmetric Badge
   Chapter 46 Decidability of hybrid systems with rectangular differential inclusions
10. Altmetric Badge
    Chapter 47 Suspension automata: A decidable class of hybrid automata
11. Altmetric Badge
    Chapter 48 Verification of context-free timed systems using linear hybrid observers
12. Altmetric Badge
    Chapter 49 On the random walk method for protocol testing
13. Altmetric Badge
    Chapter 50 An automata-theoretic approach to branching-time model checking (Extended abstract)
14. Altmetric Badge
    Chapter 51 Realizability and synthesis of reactive modules
15. Altmetric Badge
    Chapter 52 Model checking of macro processes
16. Altmetric Badge
    Chapter 53 Methodology and system for practical formal verification of reactive hardware
17. Altmetric Badge
    Chapter 54 Modeling and verification of a real life protocol using symbolic model checking
18. Altmetric Badge
    Chapter 55 Verification of a distributed cache memory by using abstractions
19. Altmetric Badge
    Chapter 56 Beyond model checking
20. Altmetric Badge
    Chapter 57 Models whose checks don't explode
21. Altmetric Badge
    Chapter 58 On the automatic computation of network invariants
22. Altmetric Badge
    Chapter 59 Ground temporal logic: A logic for hardware verification
23. Altmetric Badge
    Chapter 60 A hybrid model for reasoning about composed hardware systems
24. Altmetric Badge
    Chapter 61 Composing symbolic trajectory evaluation results
25. Altmetric Badge
    Chapter 62 The completeness of a hardware inference system
26. Altmetric Badge
    Chapter 63 Efficient model checking by automated ordering of transition relation partitions
27. Altmetric Badge
    Chapter 64 The verification problem for safe replaceability
28. Altmetric Badge
    Chapter 65 Formula-dependent equivalence for compositional CTL model checking
29. Altmetric Badge
    Chapter 66 An improved algorithm for the evaluation of fixpoint expressions
30. Altmetric Badge
    Chapter 67 Incremental model checking in the modal mu-calculus
31. Altmetric Badge
    Chapter 68 Performance improvement of state space exploration by regular & differential hashing functions
32. Altmetric Badge
    Chapter 69 Combining partial order reductions with on-the-fly model-checking
33. Altmetric Badge
    Chapter 70 Improving language containment using fairness graphs
34. Altmetric Badge
    Chapter 71 A parallel algorithm for relational coarsest partition problems and its implementation
35. Altmetric Badge
    Chapter 72 Another look at LTL model checking
36. Altmetric Badge
    Chapter 73 The mobility workbench — A tool for the π -Calculus
37. Altmetric Badge
    Chapter 74 Compositional semantics of Esterel and verification by compositional reductions
38. Altmetric Badge
    Chapter 75 Model checking using adaptive state and data abstraction
39. Altmetric Badge
    Chapter 76 Automatic verification of timed circuits