On the Use of Model Checking Techniques for Dependability Evaluation

@inproceedings{Haverkort2000OnTU,
  title={On the Use of Model Checking Techniques for Dependability Evaluation},
  author={Boudewijn R. Haverkort and Holger Hermanns and Joost-Pieter Katoen},
  booktitle={SRDS},
  year={2000}
}
Over the last two decades many techniques have been developed to specify and evaluate Markovian dependability models. Most often, these Markovian models are automatically derived from stochastic Petri nets, stochastic process algebras, or stochastic activity networks. However, whereas the model specification has become very comfortable, the specification of the dependability measures of interest most often has remained fairly cumbersome. In this paper we show that our recently introduced logic… CONTINUE READING
Highly Cited
This paper has 146 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 81 extracted citations

Automated Technology for Verification and Analysis

Lecture Notes in Computer Science • 2014
View 10 Excerpts
Highly Influenced

Timed and Stochastic Model Checking of Petri Nets

Davide D ’ Aprile T UTOR, Susanna Donatelli C OORDINATORE DEL CICLO
2007
View 4 Excerpts
Highly Influenced

Quantitative Verification

2008
View 3 Excerpts
Highly Influenced

A Survey of Statistical Model Checking

ACM Trans. Model. Comput. Simul. • 2018
View 1 Excerpt

147 Citations

051015'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 147 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 19 references

J

H. Hermanns, J.-P. Katoen
Meyer-Kayser and M. Siegl e. A Markov chain model checker. In Tools and Algorithms for the Construction and Analysis of Systems (TACAS) , LNCS 1785, pp. 347– 362 • 2000

Concepts

J.-P. Katoen
algorithms and tools for model ch cking. Tech. Rep. vol. 32(1), Univ. Erlangen-Nürnberg • 1999
View 1 Excerpt

Model Checking

E. Clarke, O. Grumberg, D. Peled
MIT Press • 1999
View 1 Excerpt

Similar Papers

Loading similar papers…