Publisher
Springer International Publishing
Reference14 articles.
1. Christel, B., Joost-Pieter, K.: Principles of Model Checking. The MIT Press, Massachusetts (2008)
2. Pallab, D., Chakrabarti, P.P., Jatindra, K.D., Sriram, S.: Min-max computation tree logic. Artif. Intell. 127(1), 137–162 (2001)
3. Franjo, I., Zijiang, Y., Malay, K.G., Aarti, G., Pranav, A.: Efficient SAT-based bounded model checking for software verification. Theor. Comput. Sci. 404(3), 256–274 (2008)
4. Stylianos, B., Panagiotis, K., Andrew, P.: An intruder model with message inspection for model checking security protocols. Comput. Secur. 29(1), 16–34 (2010)
5. Olaf, B., Bernhard, S.: Model checking the full modal mu-calculus for infinite sequential processes. Theor. Comput. Sci. 221(1–2), 251–270 (1999)