Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are a widely used modeling formalism that captures such performance and dependability properties, and makes them analyzable by model checking. In this...
| Asıl Yazarlar: | , , , |
|---|---|
| Materyal Türü: | Journal article |
| Baskı/Yayın Bilgisi: |
2009
|