# PRISM model checker

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Simulation Modelling Practice and Theory
- 2017

Abstract Commonly, simulation by using an existing network simulation tool or a simulator developed from scratch is employed for… Expand

Is this relevant?

Review

2015

Review

2015

- Advances in Wireless and Optical Communications…
- 2015

Optical Burst Switching (OBS) is perceived as the most affirmative switching method for the next generation optical networks to… Expand

Is this relevant?

2014

2014

- IEEE 17th International Conference on…
- 2014

This paper highlights an application of probabilistic model checking to satellite positioning systems for aircraft guidance… Expand

Is this relevant?

2013

2013

- 2013

We report in this paper on our initial results on modeling in the probabilistic model checker PRISM the system described in the… Expand

Is this relevant?

2012

2010

2010

- LAM@LICS
- 2010

We propose an approach to the quantitative modelling of crowd dynamics, viz. the behaviour of systems of large numbers of mobile… Expand

Is this relevant?

2010

2010

- ISoLA
- 2010

Safety assessment is a well-established process for assuring the safety and reliability of critical (aeronautical) systems. It… Expand

Is this relevant?

Review

2007

Review

2007

- SFM
- 2007

This tutorial presents an overview of model checking for both discrete and continuous-time Markov chains (DTMCs and CTMCs). Model… Expand

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- 2005

We describe a new modelling and analysis approach for signal transduction networks in the presence of incomplete data. We… Expand

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- 2004

We use the probabilistic model checker PRISM to analyze the Crowds system for anonymous Web browsing. This case study… Expand

Is this relevant?