1. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Handb. Satisf. 185, 457–481 (2009)
2. Lecture Notes in Computer Science;G Bruns,1999
3. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: a new symbolic model checker. Int. J. Softw. Tools Technol. Transf. 2(4), 410–425 (2000)
4. Fitting, M.: Kleene’s 3-valued logics and their children. Fund. Inf. 20(1–3), 113–131 (1994)
5. Lecture Notes in Computer Science;O Grumberg,2009