UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

This paper offers a survey of uppaalsmc, a major extension of the real-time verification tool uppaal. uppaalsmc allows for the efficient analysis of performance properties of networks of priced timed automata under a natural stochastic semantics. In particular, uppaalsmc relies on a series of extens...

Full description

Bibliographic Details
Main Authors: Peter Bulychev, Alexandre David, Kim Gulstrand Larsen, Marius Mikučionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang
Format: Article
Language:English
Published: Open Publishing Association 2012-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1207.1272v1

Internet

http://arxiv.org/pdf/1207.1272v1

Similar Items