Authors
Alexandre David, Kim G Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen
Publication date
2015/8
Journal
International journal on software tools for technology transfer
Volume
17
Pages
397-415
Publisher
Springer Berlin Heidelberg
Description
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.
Scholar articles
A David, KG Larsen, A Legay, M Mikučionis… - International journal on software tools for technology …, 2015