• PRISM

  • Referenced in 423 articles [sw01186]
  • probabilistic temporal logics PCTL and CSL. The tool features three model checking engines: one symbolic...
  • PEPA

  • Referenced in 116 articles [sw10692]
  • checking properties in the Continuous Stochastic Logic (CSL). Download the PEPA Eclipse Plug-in from...
  • MRMC

  • Referenced in 70 articles [sw04129]
  • over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions. Distinguishing ... continuous-time Markov decision processes (CTMDPs) and CSL model checking by discrete-event simulation. This...
  • VESTA

  • Referenced in 24 articles [sw08425]
  • logic (PCTL) [3] or continuous stochastic logic (CSL) is satisfied by a stochastic model. Furthermore...
  • SRN/HMM

  • Referenced in 9 articles [sw02952]
  • signer-independent continuous Chinese Sign Language(CSL) recognition in this paper. The problem of continuous ... CSL recognition is divided into the subproblems of isolated CSL recognition. The simple recurrent network ... introduced for segmentation of continuous CSL. Outputs of SRN are regarded as the states...
  • CSLLean

  • Referenced in 4 articles [sw09984]
  • Csl-lean: A theorem-prover for the logic of comparative concept similarity. The logic CSLCSL ... between concepts. In this work we present CSL-lean, the first theorem-prover for this ... program is inspired by the lean-methodology. CSL-lean also contains a graphical interface written...
  • INFAMY

  • Referenced in 5 articles [sw21177]
  • timing properties expressible in continuous stochastic logic (CSL). Conventional model checkers explore the given model...
  • CCMC

  • Referenced in 2 articles [sw13324]
  • CCMC: a conditional CSL model checker for continuous-time Markov chains. We present CCMC (conditional ... CSL model checker), a model checker for continuous-time Markov chains (CTMCs) with respect ... properties specified in continuous-time stochastic logic (CSL). Existing CTMC model checkers such as PRISM ... MRMC handle only binary CSL until path formulas. CCMC is the first tool that supports...
  • CSymLean

  • Referenced in 1 article [sw09983]
  • CSymLean: A theorem prover for the logic CSL over symmetric minspaces.The logic CSL of comparative ... here 𝒞𝒮ymℒean, the first theorem-prover for CSL interpreted on symmetric minspaces...
  • OOASP

  • Referenced in 2 articles [sw13475]
  • Preliminary results of the OOASP application in CSL Studio, which is a Siemens internal modeling...
  • hypre

  • Referenced in 284 articles [sw00426]
  • hypre is a software library for the solution...
  • PARAMESH

  • Referenced in 100 articles [sw00677]
  • PARAMESH: A parallel adaptive mesh refinement community toolkit...
  • DSSZ-MC

  • Referenced in 6 articles [sw01360]
  • DSSZ-MC -- a tool for symbolic analysis of...
  • PETSc

  • Referenced in 1228 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • SMART_

  • Referenced in 33 articles [sw04097]
  • Logical and stochastic modeling with smart. We describe...
  • SNOOPY

  • Referenced in 34 articles [sw04386]
  • Snoopy is a software tool to design and...
  • MPI/MPICH

  • Referenced in 162 articles [sw06126]
  • MPI / MPICH Message Passing Interface MPI is the...
  • ZBDD

  • Referenced in 2 articles [sw12885]
  • A ZBDD Package for Efficient Model Checking of...
  • Breach

  • Referenced in 21 articles [sw20822]
  • Breach, a toolbox for verification and parameter synthesis...