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


Ernst Moritz Hahn More by this author
Holger Hermanns More by this author
Björn Wachter More by this author
Lijun Zhang More by this author
Publication date:
2009
URN:
uuid:41f9e6de-7218-4cd0-ae82-c8734e704f74
Local pid:
cs:4766

Terms of use


Metrics



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

TO TOP