Advances in Quantitative Verification for Ubiquitous Computing

DOI10.1007/978-3-642-39718-9_3zbMATH Open1405.68186OpenAlexW121778973WikidataQ112268318 ScholiaQ112268318MaRDI QIDQ2851899FDOQ2851899

Authors: 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

Recommendations

• Quantitative multi-objective verification for probabilistic systems
• scientific article; zbMATH DE number 5542982
• A framework for the verification of certifying computations
• Quantitative verification and control via the mu-calculus.

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851899)