Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems-Reference-Cited by-同舟云学术

Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems

Published:2006 Issue: Volume: Page:131-146
ISSN:0302-9743
Container-title:FM 2006: Formal Methods
language:
Short-container-title:

Author:

McIver A. K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11813040_10.pdf

Reference24 articles.

1. IEEE 802.11 standard, http://grouper.ieee.org/groups/802/11/main.html

2. Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In: Habrias, H. (ed.) First Conference on the B Method, Laboratoire LIANA, L’Institut Universitaire de Technologie (IUT) de Nantes, November 1996, pp. 169–190 (1996)

3. Back, R.-J.R.: A calculus of refinements for program derivations. Acta Informatica 25, 593–624 (1988)

4. Butler, M.J., Morgan, C.C.: Action systems, unbounded nondeterminism and infinite traces. Formal Aspects of Computing 7(1), 37–53 (1995)

5. Celiku, O., McIver, A.: Cost-based analysis of probabilistic programs mechanised in HOL. Nordic Journal of Computing (2004)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analysing RoboChart with Probabilities;Lecture Notes in Computer Science;2018

2. Advanced verification on WBAN and cloud computing for u-health environment;Multimedia Tools and Applications;2014-05-17

3. Automating Refinement Checking in Probabilistic System Design;Formal Methods and Software Engineering;2007

4. Quantitative μ-Calculus Analysis of Power Management in Wireless Networks;Lecture Notes in Computer Science;2006