• PEPA

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

  • Referenced in 19 articles [sw12934]
  • model checker for stochastic multi-player 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 model-checking algorithms, are available. For the study of stochastic and timing behavior ... stochastic nature of the process, but certain classes of non-Markov models can still...
  • VESTA

  • Referenced in 24 articles [sw08425]
  • model-checking VESTA uses a sequence of inter-related statistical hypothesis testing to check ... computation tree logic (PCTL) [3] or continuous stochastic ... logic (CSL) is satisfied 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]
  • Monitor-based 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 ... model-checking SoSL formulae against MarCaSPiS specifications by exploiting an existing state-based 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 well-formed nets (SWN) solution that allows a check ... PROD experts to validate the model...
  • prob-black-reach

  • Referenced in 2 articles [sw34625]
  • model checking. The technique requires systems to be fully deterministic. For stochastic systems, statistical techniques ... present a black-box checking technique for stochastic systems that allows both, non-deterministic ... involves model inference, testing and probabilistic model-checking. 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 platform-independent ... models. This makes them more convenient to implement and analyze. Also, multiTree offers advanced modeling ... variability, goodness-of-fit 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 Continuum-Generalized 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 non-stationary 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...