Formal Verification of SLA Transformations.

Vatche Ishakian Andrei Lapets Azer Bestavros Assaf J. Kfoury

Published in: SERVICES (2011)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
service providers
service level agreements
program slicing
quality of service
real time
expert systems
cloud computing
temporal logic
software engineering