• SMART_

  • Referenced in 33 articles [sw04097]
  • logical behavior, both explicit and symbolic state-space generation techniques, as well as symbolic...
  • Uppaal2k

  • Referenced in 43 articles [sw01595]
  • also be used to visualize traces generated by the model-checker. Since version ... symbolic state-space. Since version 3.2 it can also check liveness properties. Generation of diagnostic...
  • CoSyma

  • Referenced in 10 articles [sw20124]
  • state-space on which discrete abstractions are computed. The tool generates a controller...
  • LibBi

  • Referenced in 13 articles [sw19384]
  • LibBi is a software package for state-space modelling and Bayesian inference on modern computer ... specific language for model specification, then optimises, generates, compiles and runs code for the given ... work serves as an introduction to state-space models and the specialised methods developed...
  • PTrie

  • Referenced in 3 articles [sw35790]
  • storing (encodings of) states during a state-space exploration. In the quest for fast ... dealing with randomly generated binary strings as well as for state-space exploration...
  • Supremica

  • Referenced in 15 articles [sw18546]
  • main approaches to handle large state-spaces. The first approach exploits modularity in order ... decision diagram, to symbolically represent the reachable states. Models in Supremica may be simulated ... environment. It is also possible to generate code that implements the behavior of the model...
  • timedelay

  • Referenced in 0 articles [sw17892]
  • state-space representation for irregularly observed time series data generated from a latent continuous-time...
  • AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • GAUSS

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • ITSM

  • Referenced in 16 articles [sw00461]
  • ITSM (Interactive Time Series Modelling) 6.0 is an...
  • LAPACK

  • Referenced in 1649 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5199 articles [sw00545]
  • The result of over 30 years of cutting...
  • 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...
  • Octave

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

  • Referenced in 83 articles [sw00719]
  • Singular is a computer algebra system (CAS) developed...
  • R

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

  • Referenced in 741 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

  • Referenced in 1441 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...