Projects per year
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.
Original language | English |
---|---|
Journal | International Journal on Software Tools for Technology Transfer |
Volume | 17 |
Issue number | 4 |
Pages (from-to) | 397-415 |
Number of pages | 19 |
ISSN | 1433-2779 |
DOIs | |
Publication status | Published - 6 Jan 2015 |
Keywords
- Uppaal
- Timed automata
- model checking
- statistical model checking
- stochastic
- Dynamical
- Probabilistic
Fingerprint
Dive into the research topics of 'Uppaal SMC tutorial'. Together they form a unique fingerprint.Projects
- 4 Finished
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G., Skou, A., David, A. & Srba, J.
01/04/2013 → 31/03/2016
Project: Research
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.
01/10/2012 → 30/09/2015
Project: Research
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.
01/11/2011 → 31/10/2014
Project: Research