Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning

International Journal of Networked and Distributed Computing ◽

10.2991/ijndc.k.190918.001 ◽

2020 ◽

Author(s):

Yang Liu ◽

Rui Li

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Probabilistic Automata ◽

Stochastic Model Checking

Download Full-text

Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning

10.2991/assehr.k.211209.288 ◽

2021 ◽

Author(s):

Yisong Tan

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Probabilistic Automata ◽

Stochastic Model Checking

Download Full-text

Compositional Stochastic Model Checking Probabilistic Automata via Assume-Guarantee Reasoning

Proceedings of the 2nd International Scientific and Practical Conference “Modern Management Trends and the Digital Economy: from Regional Development to Global Economic Growth” (MTDE 2020) ◽

10.2991/aebmr.k.200502.173 ◽

2020 ◽

Author(s):

Y.V. Kuvaeva ◽

M.V. Chudinovskikh ◽

N.L. Boronenkova

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Probabilistic Automata ◽

Stochastic Model Checking

Download Full-text

Compositional Stochastic Model Checking Probabilistic Automata via Symmetric Assume-Guarantee Rule

2019 IEEE 17th International Conference on Software Engineering Research, Management and Applications (SERA) ◽

10.1109/sera.2019.8886808 ◽

2019 ◽

Author(s):

Rui Li ◽

Yang Liu

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Probabilistic Automata ◽

Stochastic Model Checking

Download Full-text

Compositional Stochastic Model Checking Probabilistic Automata via Assume-Guarantee Reasoning

Proceedings of the 2nd International Conference on Literature, Art and Human Development (ICLAHD 2020) ◽

10.2991/assehr.k.201215.395 ◽

2020 ◽

Author(s):

Xueyi Zhong

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Probabilistic Automata ◽

Stochastic Model Checking

Download Full-text

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.44 ◽

2012 ◽

Author(s):

Ender Yuksel ◽

Huibiao Zhu ◽

Hanne Riis Nielson ◽

Heqing Huang ◽

Flemming Nielson

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Stochastic Model Checking

Download Full-text

Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking

IEEE Transactions on Software Engineering ◽

10.1109/tse.2009.57 ◽

2010 ◽

Vol 36 (1) ◽

pp. 37-60 ◽

Author(s):

H. Aljazzar ◽

S. Leue

Keyword(s):

Model Checking ◽

Stochastic Model ◽

State Space ◽

State Space Search ◽

Stochastic Model Checking

Download Full-text

PCTL∗ stochastic model checking label-extended probabilistic Petri net system model

2014 IEEE 5th International Conference on Software Engineering and Service Science ◽

10.1109/icsess.2014.6933565 ◽

2014 ◽

Author(s):

Yang Liu

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Petri Net ◽

System Model ◽

Stochastic Model Checking

Download Full-text

Stochastic Model Checking for Predicting Component Failures and Service Availability

IEEE Transactions on Dependable and Secure Computing ◽

10.1109/tdsc.2017.2650901 ◽

2019 ◽

Vol 16 (1) ◽

pp. 174-187 ◽

Author(s):

Muffy Calder ◽

Michele Sevegnani

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Service Availability ◽

Component Failures ◽

Stochastic Model Checking

Download Full-text

Stochastic Model Checking with Stochastic Comparison

Lecture Notes in Computer Science - Formal Techniques for Computer Systems and Business Processes ◽

10.1007/11549970_9 ◽

2005 ◽

pp. 109-123 ◽

Author(s):

Nihal Pekergin ◽

Sana Younès

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Stochastic Comparison ◽

Stochastic Model Checking

Download Full-text

Quantitative Verification of Trustworthy Service Flow by Stochastic Model Checking

Journal of Software Engineering ◽

10.3923/jse.2014.152.168 ◽

2014 ◽

Vol 8 (3) ◽

pp. 152-168

Author(s):

Yang Liu

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Service Flow ◽

Quantitative Verification ◽

Trustworthy Service ◽

Stochastic Model Checking

Download Full-text