On the verification of qualitative properties of probabilistic processes under fairness constraints-Reference-Cited by-同舟云学术

On the verification of qualitative properties of probabilistic processes under fairness constraints

Author:

Baier Christel,Kwiatkowsk Marta

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science

Reference32 articles.

1. Model-checking for probabilistic real-time systems;Alur,1991

2. Formal verification of performance and reliability of real-time systems;de Alfaro,1996

4. Domain equations for probabilistic processes;Baier,1997

5. Model checking of probabilistic and nondeterministic systems;Bianco,1995

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

1. Stochastic Best-Effort Strategies for Borel Goals;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

2. A Formal Framework of Software Product Line Analyses;ACM Transactions on Software Engineering and Methodology;2021-07-31

3. When are stochastic transition systems tameable?;Journal of Logical and Algebraic Methods in Programming;2018-10

4. Fair Termination for Parameterized Probabilistic Concurrent Systems;Tools and Algorithms for the Construction and Analysis of Systems;2017