Book chapter
From Concurrency Models to Numbers: Performancd and Dependability
Discrete-state Markov processes are very common models used for performance and dependability evaluation of, for example, distributed information and communication systems. Over the last fifteen years, compositional model construction and model checking algorithms have been studied for these processes, and variations thereof, especially processes incorporating nondeterministic choices.
In this paper we give a survey of model checking and compositional model construction for such processes in discrete and continuous time.
Language: | English |
---|---|
Publisher: | IOS Press |
Year: | 2011 |
Pages: | 182-210 |
Journal subtitle: | D: Information and Communication Security |
ISBN: | 1283289601 , 1607507102 , 1607507110 , 9781283289603 , 9781607507109 and 9781607507116 |
Types: | Book chapter |