期刊
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
卷 17, 期 4, 页码 397-415出版社
SPRINGER HEIDELBERG
DOI: 10.1007/s10009-014-0361-y
关键词
Uppaal; Timed automata; Model-checking; Statistical model-checking; Stochastic; Hybrid; Dynamical; Probabilistic
This tutorial paper surveys the main features of Uppaal SMC, a model checking approach in Uppaal family that allows us to reason on networks of complex real-timed systems with a stochastic semantic. We demonstrate the modeling features of the tool, new verification algorithms and ways of applying them to potentially complex case studies.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据