- AH99
-
R. Alur and T. Henzinger.
Reactive modules.
Formal Methods in System Design, 15(1):7-48, 1999.
- ASSB96
-
A. Aziz, K. Sanwal, V. Singhal, and R. Brayton.
Verifying continuous time Markov chains.
In R. Alur and T. Henzinger, editors, Proc. 8th International
Conference on Computer Aided Verification (CAV'96), volume 1102 of LNCS, pages 269-276. Springer, 1996.
- Bai98
-
C. Baier.
On algorithmic verification methods for probabilistic systems, 1998.
Habilitation thesis, Fakultät für Mathematik & Informatik,
Universität Mannheim.
- BKH99
-
C. Baier, J.-P. Katoen, and H. Hermanns.
Approximate symbolic model checking of continuous-time Markov
chains.
In J. Baeten and S. Mauw, editors, Proc. 10th International
Conference on Concurrency Theory (CONCUR'99), volume 1664 of LNCS,
pages 146-161. Springer, 1999.
- BK98
-
C. Baier and M. Kwiatkowska.
Model checking for a probabilistic branching time logic with
fairness.
Distributed Computing, 11(3):125-155, 1998.
- BdA95
-
A. Bianco and L. de Alfaro.
Model checking of probabilistic and nondeterministic systems.
In P. Thiagarajan, editor, Proc. 15th Conference on Foundations
of Software Technology and Theoretical Computer Science, volume 1026 of
LNCS, pages 499-513. Springer, 1995.
- HJ94
-
H. Hansson and B. Jonsson.
A logic for reasoning about time and reliability.
Formal Aspects of Computing, 6(5):512-535, 1994.
- HLMP04
-
T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet.
Approximate probabilistic model checking.
In Proc. 5th International Conference on Verification, Model
Checking and Abstract Interpretation (VMCAI'04), volume 2937 of LNCS. Springer, 2004.
- HKN+03
-
H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker, and M. Siegle.
On the use of MTBDDs for performability analysis and verification
of stochastic systems.
Journal of Logic and Algebraic Programming: Special Issue on
Probabilistic Techniques for the Design and Analysis of Systems,
56(1-2):23-67, 2003.
- Hil96
-
J. Hillston.
A Compositional Approach to Performance Modelling.
Cambridge University Press, 1996.
- KSK66
-
J. Kemeny, J. Snell, and A. Knapp.
Denumerable Markov Chains.
D. Van Nostrand Company, 1966.
- KNP04b
-
M. Kwiatkowska, G. Norman, and D. Parker.
Probabilistic symbolic model checking with PRISM: A hybrid
approach.
International Journal on Software Tools for Technology Transfer
(STTT), 6(2):128-142, 2004.
- KNP07a
-
M. Kwiatkowska, G. Norman, and D. Parker.
Stochastic model checking.
In M. Bernardo and J. Hillston, editors, Formal Methods for the
Design of Computer, Communication and Software Systems: Performance
Evaluation (SFM'07), volume 4486 of LNCS (Tutorial Volume), pages
220-270. Springer, 2007.
- Par02
-
D. Parker.
Implementation of Symbolic Model Checking for Probabilistic
Systems.
Ph.D. thesis, University of Birmingham, 2002.
- Ste94
-
W. J. Stewart.
Introduction to the Numerical Solution of Markov Chains.
Princeton, 1994.