Equivalence and Minimization for Model Checking Labeled Markov Chains
Model checking of Markov chains using logics like CSL or asCSL proves whether a logical formula holds for a state of the Markov chain. It has been developed in the last decade to a widely used approach to express performance and dependability quantities for models from a wide range of application ar...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
European Alliance for Innovation (EAI)
2016-12-01
|
| Series: | EAI Endorsed Transactions on Scalable Information Systems |
| Subjects: | |
| Online Access: | http://eudl.eu/doi/10.4108/eai.14-12-2015.2262622 |