Back to University of Twente portal
Extensions of statecharts : with probability, time, and stochastic timing
Jansen, David Nicolaas (2003) Extensions of statecharts : with probability, time, and stochastic timing. thesis.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| 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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page