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...
| المؤلفون الرئيسيون: | , , , |
|---|---|
| التنسيق: | Journal article |
| منشور في: |
2009
|