
PEPA
 Referenced in 117 articles
[sw10692]
 PEPA models, and for model checking properties in the Continuous Stochastic Logic (CSL). Download...

PRISMgames
 Referenced in 19 articles
[sw12934]
 model checker for stochastic multiplayer games, which supports modelling, automated verification and strategy synthesis ... probabilistic systems with competitive or cooperative behaviour. Models are described in a probabilistic extension ... simulator, whilst adding novel model checking algorithms for stochastic games, as well as functionality...

SMART_
 Referenced in 33 articles
[sw04097]
 Logical and stochastic modeling with smart. We describe the main features of Smart, a software ... combine different formalisms in the same modeling study. For the analysis of logical behavior, both ... symbolic CTL modelchecking algorithms, are available. For the study of stochastic and timing behavior ... stochastic nature of the process, but certain classes of nonMarkov models can still...

VESTA
 Referenced in 24 articles
[sw08425]
 modelchecking VESTA uses a sequence of interrelated statistical hypothesis testing to check ... computation tree logic (PCTL) [3] or continuous stochastic ... logic (CSL) is satisﬁed by a stochastic model. Furthermore, VESTA supports the statistical computation...

DFTCalc
 Referenced in 3 articles
[sw12545]
 added. Technically, DFTCalc is realised via stochastic model checking, an innovative technique offering a wide...

Ymer
 Referenced in 16 articles
[sw09468]
 stochastic discrete event systems. Ymer implements both statistical and numerical model checking techniques. We focus...

MARCIE
 Referenced in 8 articles
[sw12882]
 MARCIE  model checking and reachability analysis done efficiently. MARCIE is a tool for the analysis ... generalized stochastic Petri nets which can be augmented by rewards. The supported analysis methods range ... qualitative and quantitative standard properties to model checking of established temporal logics. MARCIE’s analysis...

Casaal
 Referenced in 5 articles
[sw10130]
 Monitorbased statistical model checking for weighted metric temporal logic. We present a novel approach ... Based on a stochastic semantics of WTAs, we apply statistical model checking (SMC) to estimate...

INFAMY
 Referenced in 5 articles
[sw21177]
 checks probabilistic timing properties expressible in continuous stochastic logic (CSL). Conventional model checkers explore...

MarCaSPiS
 Referenced in 5 articles
[sw06957]
 Logic) has been introduced. This is a stochastic logic specifically designed for dealing with specific ... level, i.e. without having to change the model to investigate the effect of each assumption ... modelchecking SoSL formulae against MarCaSPiS specifications by exploiting an existing statebased stochastic model...

PROD
 Referenced in 10 articles
[sw03154]
 Validation of GSPN and SWN models through the PROD tool This paper presents an extension ... stochastic Petri nets (GSPN) and Stochastic wellformed nets (SWN) solution that allows a check ... PROD experts to validate the model...

probblackreach
 Referenced in 2 articles
[sw34625]
 model checking. The technique requires systems to be fully deterministic. For stochastic systems, statistical techniques ... present a blackbox checking technique for stochastic systems that allows both, nondeterministic ... involves model inference, testing and probabilistic modelchecking. Here, we consider reachability checking...

Multitree
 Referenced in 12 articles
[sw11744]
 stochastic models for psychology and related sciences that can be used to model observed categorical ... latent states. For the analysis of such models, the present article presents a platformindependent ... models. This makes them more convenient to implement and analyze. Also, multiTree offers advanced modeling ... variability, goodnessoffit statistics, hypothesis testing, checks for identifiability, parametric and nonparametric bootstrapping...

Algorithm 963
 Referenced in 2 articles
[sw23698]
 Algorithm 963: Estimation of stochastic covariance models using a continuum of moment conditions. We describe ... parameter estimation method suitable for models commonly used in quantitative finance. The ContinuumGeneralized Method ... check the recovery of the parameters. We also applied CMM to two stochastic covariance models...

lmenssp
 Referenced in 1 article
[sw18784]
 effects coefficients for mixed models with stationary and nonstationary stochastic processes under multivariate normal ... response distributions, diagnostic checks, bootstrap standard error calculation...

NLMEModeling
 Referenced in 1 article
[sw35987]
 ordinary or stochastic differential equations combined with a flexible observation error model. Moreover, NLMEModeling ... friendly package with functionality for model validation, visual predictive checks and simulation capabilities. The package...

cdd
 Referenced in 113 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

Cuba
 Referenced in 66 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...