Login / Signup
Formal Quality of Service assurances, ranking and verification of cloud deployment options with a probabilistic model checking method.
Petar Kochovski
Pavel D. Drobintsev
Vlado Stankovski
Published in:
Inf. Softw. Technol. (2019)
Keyphrases
</>
model checking
verification method
quality of service
temporal logic
web services
formal verification
automated verification
formal specification
formal methods
finite state
model checker
congestion control
concurrent systems
bounded model checking