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...
| Hlavní autoři: | , , , |
|---|---|
| Médium: | Journal article |
| Vydáno: |
2009
|