Advances in Quantitative Verification for Ubiquitous Computing

DOI10.1007/978-3-642-39718-9_3MaRDI QIDQ2851899zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

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

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.

Describes a project that uses

Uses Software

• PRISM-games
• TinyOS
• PRISM

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)