A tool for model-checking Markov chains

• 1 February 2003
• journal article
• Published by Springer Nature in International Journal on Software Tools for Technology Transfer
• Vol. 4  (2) , 153-172
• https://doi.org/10.1007/s100090100072

Abstract

Keywords

• KEY WORDS: MARKOV CHAIN MODEL CHECKING NUMERICAL MATHEMATICS PERFORMANCE EVALUATION PROBABILISTIC SYSTEMS TEMPORAL LOGIC