Quantitative μ-Calculus Analysis of Power Management in Wireless Networks

DOI10.1007/11921240_4MaRDI QIDQ3525139zbMATH OpenOpenAlexFDO

Authors Annabelle McIver

Publication date 11 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11921240_4

zbMATH Keywords

probabilistic abstraction and refinementprobabilistic model checkingstructured specification and analysis of performance

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Correct Hardware Design and Verification Methods
• Quantitative verification and control via the mu-calculus.
• Results on the quantitative \(\mu\)-calculus \(qM\mu\)
• Model checking the quantitative \(\mu \)-calculus on linear hybrid systems
• Model checking games for the quantitative \(\mu \)-calculus

Cited in

(2)

• scientific article; zbMATH DE number 6511278 (Why is no real title available?)
• Battery transition systems

This page was built for publication: Quantitative μ-Calculus Analysis of Power Management in Wireless Networks

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