Advances in Quantitative Verification for Ubiquitous Computing

DOI10.1007/978-3-642-39718-9_3zbMath1405.68186OpenAlexW121778973WikidataQ112268318 ScholiaQ112268318MaRDI QIDQ2851899

Marta Kwiatkowska

Publication date: 4 October 2013

Published in: Theoretical Aspects of Computing – ICTAC 2013 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39718-9_3

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• PRISM
• TinyOS
• PRISM-games

This page was built for publication: Advances in Quantitative Verification for Ubiquitous Computing