|
[HBHS14]
Fenglin Han, Jan Olaf Blech, Peter Herrmann and Heinz Schmidt.
Towards Verifying Safety Properties of Real-Time Probabilistic Systems.
In Proc. Formal Engineering Approaches to Software Components and Architectures (FESCA'14), EPTCS.
2014.
[Presents an extension of the Reactive Blocks tool set for analysing probabilistic real-time systems, through a connection to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|