Author:
Soualah Sohaib,Khalgui Mohamed,Chaoui Allaoua
Publisher
Springer Nature Switzerland
Reference13 articles.
1. Camilli, M., Bellettini, C., Capra, L., Monga, M.: CTL model checking in the cloud using mapreduce. In: 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp. 333–340. IEEE (2014)
2. Choucha, C.E., Ben Salem, M.O., Khalgui, M., Kahloul, L., Ougouti, N.S.: On the improvement of r-tncess verification using distributed cloud-based architecture. In: Proceedings of the 15th International Conference on Software Technologies: ICSOFT, pp. 339–349 (2020)
3. Choucha, C.E., Ramdani, M., Khalgui, M., Kahloul, L.: On decomposing formal verification of ctl-based properties on iaas cloud environment, pp. 544–551 (2020)
4. Hafidi, Y., Kahloul, L., Khalgui, M., Li, Z., Alnowibet, K., Qu, T.: On methodology for the verification of reconfigurable timed net condition/event systems. IEEE Trans. Syst. Man Cybern. Syst. 50, 3577–3591 (2018)
5. Khalgui, M., Hanisch, H.-M.: Automatic nces-based specification and sesa-based verification of feasible control components in benchmark production systems. Int. J. Model. Ident. Control 12(3), 223–243 (2011)