Automatic Verification of Parameterized Cache Coherence Protocols

This publication has 26 references indexed in Scilit:

• Model Checking in CLP
  Published by Springer Nature ,1999
• Constraint-Based Analysis of Broadcast Protocols
  Published by Springer Nature ,1999
• Handling Global Conditions in Parametrized System Verification
  Published by Springer Nature ,1999
• Verifying systems with infinite but regular state spaces
  Published by Springer Nature ,1998
• Verifying parameterized networks
  ACM Transactions on Programming Languages and Systems, 1997
• Symbolic model checking of infinite state systems using presburger arithmetic
  Published by Springer Nature ,1997
• Automatic verification of parameterized synchronous systems
  Published by Springer Nature ,1996
• Automatic generation of functional vectors using the extended finite state machine model
  ACM Transactions on Design Automation of Electronic Systems, 1996
• Reasoning about networks with many identical finite state processes
  Information and Computation, 1989
• Cache coherence protocols: evaluation using a multiprocessor simulation model
  ACM Transactions on Computer Systems, 1986