Model-checking continuous-time Markov chains-Reference-Cited by-同舟云学术

Model-checking continuous-time Markov chains

Published:2000-07 Issue:1 Volume:1 Page:162-170
ISSN:1529-3785
Container-title:ACM Transactions on Computational Logic
language:en
Short-container-title:ACM Trans. Comput. Logic

Author:

Aziz Adnan¹,Sanwal Kumud²,Singhal Vigyan³,Brayton Robert⁴

Affiliation:

1. Univ. of Texas at Austin, Austin

2. Lucent Technologies

3. Tempus-Fugit, Inc.

4. Univ. of California at Berkeley, Berkeley

Abstract

We present a logical formalism for expressing properties of continuous-time Markov chains. The semantics for such properties arise as a natural extension of previous work on discrete-time Markov chains to continuous time. The major result is that the verification problem is decidable; this is shown using results in algebraic and transcendental number theory.

Publisher

Association for Computing Machinery (ACM)

Subject

Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/343369.343402

Reference13 articles.

1. Temporal and modal logic. In Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics, J. van Leeuwen, Ed. MIT Press, Cambridge;EMERSON E.A.;MA,1990

Cited by 221 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic;Journal of Logical and Algebraic Methods in Programming;2024-02

2. Performability analysis of multi-service call admission control schemes in LTE networks;International Journal of General Systems;2023-10-23

3. A combined strategy for dynamic probabilistic risk assessment of fission battery designs using EMRALD and DEPM;Progress in Nuclear Energy;2023-06

4. Efficient Trace Generation for Rare-Event Analysis in Chemical Reaction Networks;Model Checking Software;2023

5. Petri Nets for Systems Biology Modelling and Analysis;Systems Biology Modelling and Analysis;2022-11-18