Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.13.3 ◽

2009 ◽

Vol 13 ◽

pp. 27-39 ◽

Cited By ~ 2

Author(s):

Ukachukwu Ndukwu

Keyword(s):

Model Checking ◽

Probabilistic Systems

Download Full-text

Model Checking Hierarchical Probabilistic Systems

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16901-4_26 ◽

2010 ◽

pp. 388-403 ◽

Cited By ~ 16

Author(s):

Jun Sun ◽

Songzheng Song ◽

Yang Liu

Keyword(s):

Model Checking ◽

Probabilistic Systems

Download Full-text

An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39813-4_26 ◽

2003 ◽

pp. 361-375 ◽

Cited By ~ 22

Author(s):

Jean-Michel Couvreur ◽

Nasser Saheb ◽

Grégoire Sutre

Keyword(s):

Model Checking ◽

Probabilistic Systems ◽

Ltl Model Checking

Download Full-text

Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems

Algebraic Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40663-8_1 ◽

2013 ◽

pp. 1-3 ◽

Cited By ~ 1

Author(s):

Gul Agha

Keyword(s):

Model Checking ◽

Probabilistic Systems ◽

Quantitative Properties

Download Full-text

Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm

Quantitative Evaluation of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40196-1_11 ◽

2013 ◽

pp. 155-159 ◽

Cited By ~ 1

Author(s):

Rastislav Lenhardt

Keyword(s):

Model Checking ◽

Probabilistic Systems ◽

Expectation Maximisation

Download Full-text

Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems

2009 Sixth International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2009.43 ◽

2009 ◽

Cited By ~ 1

Author(s):

Axel Legay ◽

Mahesh Viswanatha

Keyword(s):

Model Checking ◽

Hypothesis Testing ◽

Probabilistic Systems

Download Full-text

A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems

ACM Transactions on Software Engineering and Methodology ◽

10.1145/2211616.2211621 ◽

2012 ◽

Vol 21 (3) ◽

pp. 1-35 ◽

Cited By ~ 2

Author(s):

Paul Jennings ◽

Arka P. Ghosh ◽

Samik Basu

Keyword(s):

Model Checking ◽

Phase Approximation ◽

Two Phase ◽

Probabilistic Systems

Download Full-text

Model checking probabilistic systems against pushdown specifications

Information Processing Letters ◽

10.1016/j.ipl.2012.01.006 ◽

2012 ◽

Vol 112 (8-9) ◽

pp. 320-328 ◽

Cited By ~ 2

Author(s):

Clemens Dubslaff ◽

Christel Baier ◽

Manuela Berg

Keyword(s):

Model Checking ◽

Probabilistic Systems

Download Full-text

Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems

FM 2006: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/11813040_10 ◽

2006 ◽

pp. 131-146 ◽

Cited By ~ 4

Author(s):

A. K. McIver

Keyword(s):

Model Checking ◽

Probabilistic Systems

Download Full-text

Model Checking Durational Probabilistic Systems

Foundations of Software Science and Computational Structures - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31982-5_9 ◽

2005 ◽

pp. 140-154 ◽

Cited By ~ 13

Author(s):

François Laroussinie ◽

Jeremy Sproston

Keyword(s):

Model Checking ◽

Probabilistic Systems

Download Full-text

Model Checking Probabilistic Systems

Handbook of Model Checking ◽

10.1007/978-3-319-10575-8_28 ◽

2018 ◽

pp. 963-999 ◽

Cited By ~ 12

Author(s):

Christel Baier ◽

Luca de Alfaro ◽

Vojtěch Forejt ◽

Marta Kwiatkowska

Keyword(s):

Model Checking ◽

Probabilistic Systems

Download Full-text