
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 Plugin from...

MRMC
 Referenced in 70 articles
[sw04129]
 over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions. Distinguishing ... continuoustime Markov decision processes (CTMDPs) and CSL model checking by discreteevent simulation. This...

VESTA
 Referenced in 24 articles
[sw08425]
 logic (PCTL) [3] or continuous stochastic logic (CSL) is satisﬁed by a stochastic model. Furthermore...

SRN/HMM
 Referenced in 9 articles
[sw02952]
 signerindependent 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]
 Csllean: A theoremprover for the logic of comparative concept similarity. The logic CSLCSL ... between concepts. In this work we present CSLlean, the first theoremprover for this ... program is inspired by the leanmethodology. CSLlean 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 continuoustime Markov chains. We present CCMC (conditional ... CSL model checker), a model checker for continuoustime Markov chains (CTMCs) with respect ... properties specified in continuoustime 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 theoremprover 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...

DSSZMC
 Referenced in 6 articles
[sw01360]
 DSSZMC  a tool for symbolic analysis of...

PETSc
 Referenced in 1228 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc 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...