Extensions of statecharts : with probability, time, and stochastic timing
Jansen, David Nicolaas (2003) Extensions of statecharts : with probability, time, and stochastic timing. thesis.
|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.
|Link to this item:||http://purl.utwente.nl/publications/58230|
|Export this item as:||BibTeX|
Daily downloads in the past month
Monthly downloads in the past 12 months
Repository Staff Only: item control page