
PRISM
 Referenced in 434 articles
[sw01186]
 Birmingham for the analysis of probabilistic systems. PRISM supports three probabilistic models: discretetime Markov ... through model checking such systems against specifications written in the probabilistic temporal logics PCTL ... analyse probabilistic termination, performance, and quality of service properties for a range of systems, including...

PMaude
 Referenced in 30 articles
[sw08422]
 PMaude: Rewritebased Specification Language for Probabilistic Object Systems. We introduce a rewritebased specification ... language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both ... module aids writing specifications in a probabilistic actor formalism. This allows us to easily write ... quantified) nondeterminism in a probabilistic system is necessary for a form of statistical analysis...

APMC
 Referenced in 28 articles
[sw11483]
 extended recently to the verification of probabilistic systems. However, the representation of the transition matrix ... expensive for very large systems and may induce a prohibitive cost for the model checking ... satisfied with high confidence by a probabilistic system. Our randomized algorithm requires only a succinct...

VESTA
 Referenced in 24 articles
[sw08425]
 Statistical Modelchecker and Analyzer for Probabilistic Systems. VESTA is a tool for statistical analysis ... probabilistic systems. It supports statistical modelchecking [6, 7] and statistical evaluation of expected values ... check if a property speciﬁed in probabilistic computation tree logic (PCTL) [3] or continuous stochastic...

CEGAR
 Referenced in 33 articles
[sw04605]
 apply CEGAR to the verification of probabilistic systems, various foundational questions arise. This paper explores...

ProbView
 Referenced in 27 articles
[sw09438]
 ProbView: a flexible probabilistic database system. Probability theory is mathematically the best understood paradigm ... among the events involved. Previous work on probabilistic databases has assumed a fixed and restrictivecombination ... ideas, we have developed a prototype probabilistic database system called ProbView on top of Dbase...

PVeStA
 Referenced in 17 articles
[sw08423]
 attractive formal analysis method for probabilistic systems such as, for example, cyberphysical systems which ... available to tools like Maude, where probabilistic systems can be specified at a high level ... supports statistical model checking of probabilistic realtime systems specified as either: (i) discrete...

PRISMgames
 Referenced in 19 articles
[sw12934]
 automated verification and strategy synthesis for probabilistic systems with competitive or cooperative behaviour. Models...

ProTDB
 Referenced in 20 articles
[sw13843]
 differs from previous efforts to develop probabilistic relational systems in that we build a probabilistic ... repeated subelements. We present a probabilistic XML model that addresses all of these challenges ... using a natural language analysis system. We present a brief case study of the latter ... demonstrate the value of probabilistic XML data management...

Zoo Probabilistic Systems
 Referenced in 7 articles
[sw28541]
 Isabelle Zoo of Probabilistic Systems: Numerous models of probabilistic systems are studied in the literature ... formalize the resulting hierarchy of probabilistic system types by modeling the semantics of the different...

LiQuor
 Referenced in 18 articles
[sw04136]
 LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms...

SMART_
 Referenced in 33 articles
[sw04097]
 environment for the logic and probabilistic analysis of complex systems. Smart can combine different formalisms...

gRain
 Referenced in 16 articles
[sw08268]
 graphical independence networks, also known as probabilistic expert systems or Bayesian networks...

MayBMS
 Referenced in 11 articles
[sw20068]
 MayBMS: A probabilistic database management system. MayBMS is a stateoftheart probabilistic database...

SPOOK
 Referenced in 13 articles
[sw12539]
 SPOOK: A system for probabilistic objectoriented knowledge representation. In previous work, we pointed ... this paper, we present SPOOK, an implemented system that addresses these limitations. SPOOK implements...

iscasMc
 Referenced in 8 articles
[sw36939]
 based model checker iscasMc for probabilistic systems (see http://iscasmc.ios.ac.cn/IscasMC ). This Java application offers...

SReach
 Referenced in 5 articles
[sw20158]
 SReach: A Probabilistic Bounded DeltaReachability Analyzer for Stochastic Hybrid Systems. In this paper ... solves probabilistic bounded reachability problems for two classes of models of stochastic hybrid systems ... with parametric uncertainty. The second one is probabilistic hybrid automata with additional randomness for both ... nonlinear hybrid systems with multiple probabilistic system parameters...

MCINTYRE
 Referenced in 8 articles
[sw22925]
 MCINTYRE: a Monte Carlo system for probabilistic logic programming. Probabilistic Logic Programming is receiving ... normal program sampled from the probabilistic program. The ProbLog system includes such an algorithm ... program transformation that translates a probabilistic program into a normal program to which the query ... Prolog engine. The resulting system, called MCINTYRE for Monte Carlo INference wiTh Yap REcord...

Expokit
 Referenced in 187 articles
[sw00258]
 operand vector, or the solution of a system of linear ordinary differential equations with constant ... furthermore, the computed solution is subject to probabilistic constraints. In addition to addressing general matrix...

RACT
 Referenced in 20 articles
[sw06924]
 Matlab toolbox for probabilistic analysis and synthesis of control systems affected by various uncertainty structures...