Model checking cloud rendering system for the QoS evaluation.

Haoyu Liu Huahu Xu Honghao Gao Danqi Chu

Published in: ASAP (2017)

Keyphrases

model checking
temporal logic
temporal properties
formal verification
verification method
model checker
formal specification
partial order reduction

finite state
reachability analysis
automated verification
real time
transition systems
symbolic model checking
timed automata

finite state machines
quality of service
epistemic logic
bounded model checking
computation tree logic
concurrent systems
pspace complete

process algebra
formal methods
web services
multi agent systems
artificial intelligence
reactive systems
asynchronous circuits