Run-time efficient probabilistic model checking
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli · 2011
Unpredictable changes continuously affect software systems and may have a severe impact on their quality of service, potentially jeopardizing the system's ability to meet the desired requirements. Changes may occur in critical components of the system, clients' operational profiles, requirements, or deployment environments.