
PEPS
 Referenced in 34 articles
[sw03186]
 software tool used to analyze Stochastic Automata Networks(SAN) models. In its sequential version...

COSMOS
 Referenced in 5 articles
[sw13329]
 statistical model checker for the hybrid automata stochastic logic. This tool paper introduces Cosmos ... statistical model checker for the Hybrid Automata Stochastic Logic (HASL). HASL employs Linear Hybrid Automata ... Timed Automata (DTA), to describe relevant execution paths of a Discrete Event Stochastic Process (DESP...

HASL
 Referenced in 6 articles
[sw13330]
 stochastic models. We introduce the Hybrid Automata Stochastic Logic (HASL), a new temporal logic formalism ... discrete event stochastic processes (DESP). HASL employs Linear Hybrid Automata (LHA) as machineries to select...

mctau
 Referenced in 2 articles
[sw07213]
 formal semantics in terms of stochastic timed automata, an overarching formalism of which several well...

SReach
 Referenced in 5 articles
[sw20158]
 models of stochastic hybrid systems. The first one is (nonlinear) hybrid automata with parametric uncertainty ... second one is probabilistic hybrid automata with additional randomness for both transition probabilities and variable ... both nonlinear dynamics over the reals and stochasticity. SReach encodes stochastic information by using...

Casaal
 Referenced in 5 articles
[sw10130]
 automata (WTA) with respect to the weighted metric temporal logic (WMTL ≤ ). Based on a stochastic...

CGAL
 Referenced in 372 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

gfun
 Referenced in 138 articles
[sw00344]
 The gfun package provides tools for determining and...

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

GreatSPN
 Referenced in 57 articles
[sw00384]
 GreatSPN2.0 is a software package for the modeling...

Maple
 Referenced in 5220 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 253 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

MARCA
 Referenced in 31 articles
[sw00547]
 MARCA: Markov chain analyzer, a software package for...

Mathematica
 Referenced in 6129 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12721 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 549 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NetworkX
 Referenced in 132 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

Octave
 Referenced in 295 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...