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...
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Journal article |
| Được phát hành: |
2009
|