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

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 17; no. 4; pp. 397 - 415
Main Authors:	David, Alexandre, Larsen, Kim G., Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2015 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!