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

Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul

Browse the full ICSoft paper archive.