www.prismmodelchecker.org
[Kwi12] Marta Kwiatkowska. Sensing Everywhere: Towards Safer and More Reliable Sensor-enabled Devices. In Proc. 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP'12), Springer. September 2012. [pdf] [bib] [Invited talk on research directions for verification of sensor-enabled devices, including PRISM-based analyses.]
Downloads:  pdf pdf (91 KB)  bib bib
Notes: The original publication is available at www.springerlink.com.

Publications