• HYPENS

  • Referenced in 4 articles [sw00422]
  • tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed ... defined in Matlab, such as optimization routines, stochastic functions, matrices and arrays, etc. The tool...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2974 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GreatSPN

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

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

  • Referenced in 6090 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12640 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 8836 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1743 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SUNDIALS

  • Referenced in 220 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • TimeNET

  • Referenced in 29 articles [sw00965]
  • This paper describes TimeNET (Timed Net Evaluation Tool...
  • WSAT

  • Referenced in 37 articles [sw01022]
  • This paper presents Web Service Analysis Tool (WSAT...
  • SIMSCRIPT

  • Referenced in 30 articles [sw01081]
  • SIMSCRIPT. A simulation programming language. SIMSCRIPT is a...
  • Meschach

  • Referenced in 79 articles [sw01112]
  • Meschach: Matrix computations in C. Meschach is a...
  • PRISM

  • Referenced in 423 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • DYNAMO

  • Referenced in 252 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • DSSZ-MC

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