STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking

Lecture Notes in Computer Science - Verification, Model Checking, and Abstract Interpretation ◽

10.1007/978-3-030-94583-1_16 ◽

2022 ◽

pp. 319-331

Author(s):

Riley Roberts ◽

Thakur Neupane ◽

Lukas Buecherl ◽

Chris J. Myers ◽

Zhen Zhang

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Infinite State ◽

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

Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking

2018 IEEE Conference on Control Technology and Applications (CCTA) ◽

10.1109/ccta.2018.8511410 ◽

2018 ◽

Author(s):

Claudio Mandrioli ◽

Alberto Leva ◽

Martina Maggio

Keyword(s):

Big Data ◽

Model Checking ◽

Stochastic Model ◽

Formal Verification ◽

Dynamic Models ◽

Big Data Applications ◽

Stochastic Model Checking

Download Full-text

Stochastic Model Checking

Automation and Control Engineering - Stochastic Hybrid Systems ◽

10.1201/9781420008548.ch4 ◽

2006 ◽

pp. 79-106 ◽

Author(s):

Joost-Pieter Katoen

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Stochastic Model Checking

Download Full-text

Stochastic Model Checking of the Stochastic Quality Calculus

Software, Services, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15545-6_30 ◽

2015 ◽

pp. 522-537 ◽

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson ◽

Kebin Zeng

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Stochastic Model Checking

Download Full-text

SMART: stochastic model-checking analyzer for reliability and timing

Proceedings International Conference on Dependable Systems and Networks ◽

10.1109/dsn.2002.1028976 ◽

2003 ◽

Author(s):

G. Ciardo ◽

R.L. Jones ◽

R.M. Marmorstein ◽

A.S. Miner ◽

R. Siminiceanu

Keyword(s):

Model Checking ◽

Stochastic Model ◽

Stochastic Model Checking

Download Full-text