Statistical model checking: challenges and perspectives

A Legay, M Viswanathan - International Journal on Software Tools for …, 2015 - Springer
Statistical model checking (SMC) is a powerful and widely used approach that consists in
estimating the probability for a system to satisfy a temporal property. This is done by …
被引用次数：36 相关文章

Statistical model checking: Challenges and perspectives

A Legay, M Viswanathan - International Journal on Software …, 2015 - experts.illinois.edu
Statistical model checking (SMC) is a powerful and widely used approach that consists in
estimating the probability for a system to satisfy a temporal property. This is done by …

Statistical model checking: challenges and perspectives

A Legay, M Viswanathan - International Journal on Software Tools for …, 2015 - infona.pl
Statistical model checking (SMC) is a powerful and widely used approach that consists in
estimating the probability for a system to satisfy a temporal property. This is done by …

Statistical model checking: challenges and perspectives

A Legay, M Viswanathan - International Journal on Software Tools for …, 2015 - dl.acm.org
Statistical model checking (SMC) is a powerful and widely used approach that consists in
estimating the probability for a system to satisfy a temporal property. This is done by …

Statistical model checking: challenges and perspectives

A Legay, M Viswanathan - International Journal on Software …, 2015 - search.proquest.com
Statistical model checking (SMC) is a powerful and widely used approach that consists in
estimating the probability for a system to satisfy a temporal property. This is done by …

[引用][C] Statistical model checking: challenges and perspectives

A Legay, M Viswanathan - International journal on software tools for …, 2015 - Springer