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!
Description
Summary: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.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-014-0361-y