Conference item icon

Conference item

INFAMY: An Infinite−State Markov Model Checker

Abstract:

The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are a widely used modeling formalism, where performance and dependability properties are analyzable by model checking. We present INFAMY, a model checker for arbitrarily structured infinite-state CTMCs. It checks probabilistic timing properties expressible in continuous stochastic logic (CSL). Conventional model checkers explore the given model e...

Expand abstract

Actions


Authors


Publication date:
2009-01-01
URN:
uuid:41f9e6de-7218-4cd0-ae82-c8734e704f74
Local pid:
cs:4766

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP