Uppaal SMC tutorial

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

202 Citationer (Scopus)
761 Downloads (Pure)

Abstrakt

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.
OriginalsprogEngelsk
TidsskriftInternational Journal on Software Tools for Technology Transfer
Vol/bind17
Udgave nummer4
Sider (fra-til)397-415
Antal sider19
ISSN1433-2779
DOI
StatusUdgivet - 6 jan. 2015

Fingeraftryk Dyk ned i forskningsemnerne om 'Uppaal SMC tutorial'. Sammen danner de et unikt fingeraftryk.

Citationsformater