Projekter pr. år
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.
Originalsprog | Engelsk |
---|---|
Tidsskrift | International Journal on Software Tools for Technology Transfer |
Vol/bind | 17 |
Udgave nummer | 4 |
Sider (fra-til) | 397-415 |
Antal sider | 19 |
ISSN | 1433-2779 |
DOI | |
Status | Udgivet - 6 jan. 2015 |
Fingeraftryk
Dyk ned i forskningsemnerne om 'Uppaal SMC tutorial'. Sammen danner de et unikt fingeraftryk.Projekter
- 4 Afsluttet
-
CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games
Larsen, K. G. (Projektleder), Skou, A. (Projektdeltager), David, A. (Projektdeltager) & Srba, J. (Projektdeltager)
01/04/2013 → 31/03/2016
Projekter: Projekt › Forskning
-
SENSATION: Self Energy-Supporting Autonomous Computation
Larsen, K. G. (Projektleder), Hansen, R. R. (Projektdeltager), Koch, P. (Projektdeltager), Nielsen, B. (Projektdeltager) & Skou, A. (Projektdeltager)
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
MBAT: Model-based Analysis and Testing of Embedded Systems
Nielsen, B. (Projektdeltager), Larsen, K. G. (Projektdeltager), David, A. (Projektdeltager), Mikučionis, M. (Projektdeltager) & Skou, A. (Projektdeltager)
01/11/2011 → 31/10/2014
Projekter: Projekt › Forskning