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

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:International journal on software tools for technology transfer Ročník 17; číslo 4; s. 397 - 415
Hlavní autori: David, Alexandre, Larsen, Kim G., Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2015
Springer Nature B.V
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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.
Bibliografia: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