• 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 high-level language and interactive...
  • MiniSat

  • Referenced in 549 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Octave

  • Referenced in 295 articles [sw00646]
  • GNU Octave is a high-level language, primarily...