Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1007/s10009-014-0361-y | International Journal on Software Tools for Technology Transfer |
Keywords | Field | DocType |
Uppaal, Timed automata, Model-checking, Statistical model-checking, Stochastic, Hybrid, Dynamical, Probabilistic | Model checking,Computer science,Statistical model checking,Real-time computing,Theoretical computer science,Probabilistic logic | Journal |
Volume | Issue | ISSN |
17 | 4 | 1433-2787 |
Citations | PageRank | References |
81 | 2.35 | 33 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alexandre David | 1 | 1667 | 76.52 |
| Kim G. Larsen | 2 | 3922 | 254.03 |
| Axel Legay | 3 | 2982 | 181.47 |
| Marius Mikučionis | 4 | 799 | 33.52 |
| Danny Bøgsted Poulsen | 5 | 308 | 13.03 |