1. NUSMV: A new symbolic model checker;Cimatti;Int. J. Softw. Tools Technol. Transf.,2000
2. Principles of the Spin Model Checker;Ben-Ari,2008
3. SAL 2;de Moura,2004
4. PAT: towards flexible verification under fairness;Sun,2009
5. Software Abstraction (Revised edition);Jackson,2012