Conference
pState: A Probabilistic Statecharts Translator
Abstract
We describe pState, an experimental software toolkit for the design, validation and formal verification of complex systems. Classical statecharts are extended with probabilistic transitions, costs/rewards, and state invariants. Probabilistic choice can be used to model randomized algorithms or unreliable systems. Costs/rewards can be used to compute quantitative properties such as expected power consumption or expected number of lost messages …
Authors
Nokovic B; Sekerinski E
Pagination
pp. 29-32
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
June 1, 2013
DOI
10.1109/meco.2013.6601339
Name of conference
2013 2nd Mediterranean Conference on Embedded Computing (MECO)