Using probabilistic model checking for dynamic power management

DOI10.1007/s00165-005-0062-0zbMath1080.68601DBLPjournals/fac/NormanPKSG05OpenAlexW2149453229WikidataQ57526672 ScholiaQ57526672MaRDI QIDQ2576577

Yanyan Li

Publication date: 13 December 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-005-0062-0

zbMATH Keywords

Embedded systemsModel checkingFormal methodsProbabilistic model checkingPower management

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Synthesizing efficient systems in probabilistic environments ⋮ Model Checking Probabilistic Systems ⋮ Quantitative Multi-objective Verification for Probabilistic Systems ⋮ Performability assessment by model checking of Markov reward models

Uses Software

• PRISM

This page was built for publication: Using probabilistic model checking for dynamic power management