On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment-Reference-Cited by-同舟云学术

On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment

Published:2021 Issue: Volume: Page:114-133
ISSN:1865-0929
Container-title:Communications in Computer and Information Science
language:
Short-container-title:

Author:

Choucha Chams Eddine^ORCID,Ramdani Mohamed^ORCID,Khalgui Moahmed^ORCID,Kahloul Laid^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-83007-6_6

Reference20 articles.

1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)

2. 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 (SYNASC), pp. 333–340. IEEE (2014)

3. Choucha, C.E., Ramdani, M., Khalgui, M., Kahloul, L.: On decomposing formal verification of CTL-based properties on IaaS cloud environment. In: Proceedings of the 15th International Conference on Software Technologies, Volume 1: ICSOFT, pp. 544–551. INSTICC, SciTePress (2020). https://doi.org/10.5220/0009972605440551

4. Choucha, C.E., Salem, M.B., 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, Volume 1: ICSOFT, pp. 339–349. INSTICC, SciTePress (2020). https://doi.org/10.5220/0009836103390349

5. Choucha, C.E., Ougouti, N.S., Khalgui, M., Kahloul., L.: R-TNCES verification: distributed state space analysis performed in a cloud-based architecture. In: Proceedings of the the 33rd Annual European Simulation and Modelling Conference, pp. 96–101. ETI, EUROSIS (2019)

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Electricity Theft Detection Techniques Using Artificial Intelligence: A Survey;2024 IEEE International Conference on Advanced Systems and Emergent Technologies (IC_ASET);2024-04-27