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
|