On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment-Reference-Cited by-同舟云学术

On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment

Published:2020 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 15th International Conference on Software Technologies
language:
Short-container-title:

Author:

Choucha Chams¹,Ramdani Mohamed¹,Khalgui Mohamed²,Kahloul Laid³

Affiliation:

1. National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia, University of Tunis El Manar, Tunis, Tunisia, --- Select a Country ---

2. National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia, --- Select a Country ---

3. Computer Science Department, Biskra University, Biskra, Algeria, --- Select a Country ---

Publisher

SCITEPRESS - Science and Technology Publications

Cited by 4 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

2. Effective Parallel Formal Verification of Reconfigurable Discrete-Event Systems Formalizing with Isabelle/HOL;Lecture Notes on Data Engineering and Communications Technologies;2024

3. On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment;Communications in Computer and Information Science;2021

4. R-TNCES State Space Generation Using Ontology-Based Method on a Distributed Cloud-Based Architecture;Communications in Computer and Information Science;2021