1. Model checking and abstraction;Clarke;ACM Trans. Program. Lang. Syst.,1994
2. Model Checking;Clarke,1999
3. NuSMV 2: an opensource tool for symbolic model checking;Cimatti,2002
4. The model checker SPIN;Holzmann;IEEE Trans. Softw. Eng.,1997
5. The temporal logic of programs;Pnueli,1977