Uppaal SMC tutorial

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 t...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 17; H. 4; S. 397 - 415
Hauptverfasser:	David, Alexandre, Larsen, Kim G., Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2015 Springer Nature B.V
Schlagworte:	Algorithms Case studies Computer programs Computer Science Computers Networks Semantics Smc Software Software Engineering Software Engineering/Programming and Operating Systems Stochastic models Stochasticity Surveys Technology transfer Theory of Computation Timed automata Probabilistic Statistical model-checking Hybrid Dynamical Stochastic Uppaal Model-checking
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!