Fast and Accurate Bitstate Verification for SPIN

This publication has 5 references indexed in Scilit:

• A partial approach to model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A New Scheme for Memory-Efficient Probabilistic Verification
  Published by Springer Nature ,1996
• Reliable hashing without collision detection
  Published by Springer Nature ,1993
• Algorithms for Automated Protocol Verification
  AT&T Technical Journal, 1990
• Space/time trade-offs in hash coding with allowable errors
  Communications of the ACM, 1970