Better verification through symmetry

This publication has 16 references indexed in Scilit:

• Algorithms for scalable synchronization on shared-memory multiprocessors
  ACM Transactions on Computer Systems, 1991
• The directory-based cache coherence protocol for the DASH multiprocessor
  ACM SIGARCH Computer Architecture News, 1990
• Verification of synchronous sequential machines based on symbolic execution
  1990
• Parallel Program Design
  1989
• A fast backtrack algorithm for graph isomorphism
  Information Processing Letters, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Towards reachability trees for high-level petri nets
  1985
• An approach to automating the verification of compact parallel coordination programs. I
  Acta Informatica, 1984
• Myths about the mutual exclusion problem
  Information Processing Letters, 1981
• Towards Analyzing and Synthesizing Protocols
  IEEE Transactions on Communications, 1980