1. Principles of Model Checking;Baier,2008
2. The state explosion problem;Valmari,1998
3. Partial-Order Methods for the Verification of Concurrent Systems;Godefroid,1996
4. G.J. Holzmann, State compression in SPIN: recursive indexing and compression training runs, in: SPIN’1997. Available via: http://spinroot.com/spin/Workshops/ws97/gerard.pdf, 1997.
5. Parallelizing the Murphi verifier;Stern,1997