Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness

This publication has 18 references indexed in Scilit:

• Verifying Universal Properties of Parameterized Networks
  Published by Springer Nature ,2000
• Handling Global Conditions in Parametrized System Verification
  Published by Springer Nature ,1999
• Automatic verification of parameterized synchronous systems
  Published by Springer Nature ,1996
• Reasoning about rings
  Published by Association for Computing Machinery (ACM) ,1995
• Model checking and abstraction
  ACM Transactions on Programming Languages and Systems, 1994
• Reasoning about systems with many processes
  Journal of the ACM, 1992
• Reasoning about networks with many identical finite state processes
  Information and Computation, 1989
• Limits for automatic verification of finite-state concurrent systems
  Information Processing Letters, 1986
• Decision Problems of Finite Automata Design and Related Arithmetics
  Transactions of the American Mathematical Society, 1961
• Weak Second‐Order Arithmetic and Finite Automata
  Mathematical Logic Quarterly, 1960