• MOMENT2

  • Referenced in 10 articles [sw10025]
  • addition, we show how an existing model-based system can be extended with timed features ... modifying the class diagram) by using in-place multi-domain model transformations supported in MOMENT2 ... time model transformations, and show how the models can be simulated and model checked using ... effective, automatic tool for specifying and verifying model-based real-time and embedded systems within...
  • S-TaLiRo

  • Referenced in 22 articles [sw09775]
  • Simulink/Stateflow diagrams. It can analyze arbitrary Simulink models or user defined functions that model ... tool, we use randomized testing based on stochastic optimization techniques including Monte-Carlo methods ... widely used in the industry for model-based development of control software. We present...
  • TimeSquare

  • Referenced in 4 articles [sw15830]
  • Time. TimeSquare is an Eclipse and model-based environment for the specification, analysis and verification ... temporal constraints. It implements the MARTE Time Model and its specification language, the Clock Constraint ... refined) and multiform. TimeSquare is based on the latest model-driven technology so that more ... automatically generated. It provides an XText-based editor of constraints, a polychronous clock calculus engine...
  • ArgoSPE

  • Referenced in 1 article [sw02016]
  • ArgoSPE: Model-based software performance engineering Stochastic Petri nets (SPNs) have been proved useful ... consists in translating some performance annotated UML diagrams into SPN models. Therefore, ArgoSPE prevents software...
  • SL2SX

  • Referenced in 1 article [sw20160]
  • widely used in industry for model-based design. Numerical simulation scales well ... techniques to Simulink models could help to overcome this limitation. Set-based verification tools such ... semantically and structurally different from Simulink models. To address this issue, we are building ... subset of the Simulink modeling language into a corresponding SpaceEx model. Our method is designed...
  • GrGen

  • Referenced in 21 articles [sw00387]
  • GrGen.NET is a programming tool for graph transformation...
  • Isabelle

  • Referenced in 714 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Macaulay2

  • Referenced in 1924 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Mathematica

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

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

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

  • Referenced in 326 articles [sw00724]
  • polymake is open source software for research in...
  • R

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

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

  • Referenced in 20 articles [sw00829]
  • SCADE Suite® is a product line of the...
  • Scilab

  • Referenced in 174 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • PRISM

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

  • Referenced in 259 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • L-BFGS-B

  • Referenced in 200 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...