Extensions of statecharts : with probability, time, and stochastic timing


Share/Save/Bookmark

Jansen, David Nicolaas (2003) Extensions of statecharts : with probability, time, and stochastic timing. thesis.

[img]
Preview
PDF
1537Kb
Abstract:Statecharts are a graphical language to describe the behaviour of a system. For example, in the UML, a statechart can be used to describe the behaviour of an object. Model checking is a method to verify automatically whether a system satisfies some desired property.
The goal of this thesis is: To use statecharts to render model checking more widely usable.
We show this in two respects: For real-time statecharts, we provide a property language that fits nicely with the features of statecharts. For probabilistic model checking, we provide an extension of statecharts as input language.
Item Type:Thesis
Research Group:
Link to this item:http://purl.utwente.nl/publications/58230
Official URL:http://doc.utwente.nl/58230
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page