Login / Signup
A Firefly-based Task Scheduling Algorithm for the Cloud Computing Environment: Formal Verification and Simulation Analyses.
Fatemeh Ebadifard
Saeed Doostali
Seyed Morteza Babamir
Published in:
IST (2018)
Keyphrases
</>
formal verification
cloud computing environment
model checking
cloud computing
symbolic model checking
model checker
bounded model checking
automated verification
virtual machine
distributed systems
resource allocation
temporal logic
scheduling algorithm
distributed computing
open architecture