Login / Signup
On Decomposing Formal Verification of CTL-based Properties on IaaS Cloud Environment.
Chams Eddine Choucha
Mohamed Ramdani
Mohamed Khalgui
Laïd Kahloul
Published in:
ICSOFT (2020)
Keyphrases
</>
formal verification
model checking
temporal properties
bounded model checking
temporal logic
symbolic model checking
model checker
automated verification
computation tree logic
cloud computing
formal specification
program slicing
linear temporal logic
artificial intelligence
inference rules