PRISM model checker

Known as: PRISM (model checker), Prism (disambiguation), Prism(model checker) 
PRISM is a probabilistic model checker, a formal verification software tool for the modelling and analysis of systems that exhibit probabilistic… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
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
Optical Burst Switching (OBS) is perceived as the most affirmative switching method for the next generation optical networks to… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2014
2014
This paper highlights an application of probabilistic model checking to satellite positioning systems for aircraft guidance… Expand
  • figure 1
  • figure 4
  • figure 2
  • table I
  • figure 5
Is this relevant?
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
  • figure 1
  • figure 2
Is this relevant?
2012
2010
2010
We propose an approach to the quantitative modelling of crowd dynamics, viz. the behaviour of systems of large numbers of mobile… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
Safety assessment is a well-established process for assuring the safety and reliability of critical (aeronautical) systems. It… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
2007
Review
2007
This tutorial presents an overview of model checking for both discrete and continuous-time Markov chains (DTMCs and CTMCs). Model… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We describe a new modelling and analysis approach for signal transduction networks in the presence of incomplete data. We… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2004
Highly Cited
2004
We use the probabilistic model checker PRISM to analyze the Crowds system for anonymous Web browsing. This case study… Expand
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?