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ženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 17; číslo 4; s. 397 - 415
Hlavní autoři:	David, Alexandre, Larsen, Kim G., Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.08.2015 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!