Author:
Ouchani Samir,Ait Mohamed Otmane,Debbabi Mourad
Publisher
Springer Nature Switzerland
Reference18 articles.
1. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
2. Bérard, B., et al.: Systems and Software Verification. Springer, Heidelberg (2001). https://doi.org/10.1007/978-3-662-04558-9
3. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
4. Lecture Notes in Computer Science;V Forejt,2011
5. Xin-feng, Z., Jian-dong, W., Xin-feng, Z., Bin, L., Jun-wu, Z., Jun, W.: Methods to tackle state explosion problem in model checking. In: Proceedings of the 3rd International Conference on IITA, NJ, USA, pp. 329–331. IEEE Press (2009)