Model Checking Infinite-State Markov Chains

Autor: Remke, Anne K.I., Haverkort, Boudewijn R.H.M., Cloth, Lucia, Halbwachs, Nicolas, Zuck, Lenore D.

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005), 237-252
STARTPAGE=237;ENDPAGE=252;TITLE=Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005)
Scopus-Elsevier
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783540253334
TACAS

In this paper algorithms for model checking CSL (continuous stochastic logic) against infinite-state continuous-time Markov chains of so-called quasi birth-death type are developed. In doing so we extend the applicability of CSL model checking beyond

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::283d7a8df1da07f6f355f4187a76bd5f
https://research.utwente.nl/en/publications/99048290-a816-4fc3-b26a-086b9a137abe

Model-checking mean-field models : algorithms & applications

Autor: Anna Victorovna Kolesnichenko

Large systems of interacting objects are highly prevalent in today's world. Such system usually consist of a large number of relatively simple identical objects, and can be observed in many different field as, e.g., physics (interactions of molecules

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7f4f4841e5ca56502809117fcadb812c
https://doi.org/10.3990/1.9789036538213