Specification and verification of systems using model checking and Markov reward models
Includes bibliographical references. === This thesis examines Markov reward models, a formalism based on continuous time Markov chains, and it's usage in the generation and analysis of service levels. The particular solution technique we employ in this thesis is model checking, using Continuous...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Dissertation |
| Language: | English |
| Published: |
University of Cape Town
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11427/6412 |