• DCVALID

  • Referenced in 14 articles [sw20416]
  • DCVALID: A tool for modelchecking Duration Calculus Formulae. DCVALID is a program to check validity ... Duration Calculus Formulae. It can be used as a tool to visualize DC specification ... decision procedure for Quantified Discrete-time Duration Calculus (QDDC). For every formula D, we construct...
  • IDLVALID

  • Referenced in 10 articles [sw20417]
  • IDLVALID : Model Checking Dense Time Duration Calculus Formulae. Duration Calculus is a dense time interval ... proposition holds in a time interval. Interval Duration Logic is its variant where models...
  • LARVA

  • Referenced in 6 articles [sw21408]
  • stopwatches, Lustre, and a subset of duration calculus. The tool has been successfully used...
  • Moby/DC

  • Referenced in 5 articles [sw01395]
  • define an operational subset of Duration Calculus, called phase automata, which serves as an intermediate...
  • Coq

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

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

  • Referenced in 887 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • PRISM

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

  • Referenced in 517 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Kronos

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

  • Referenced in 32 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...
  • S-PLUS

  • Referenced in 602 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • SDPT3

  • Referenced in 644 articles [sw04009]
  • This software is designed to solve conic programming...
  • PETSc

  • Referenced in 1212 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • CPLEX

  • Referenced in 2602 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • HyTech

  • Referenced in 327 articles [sw04125]
  • HyTech is an automatic tool for the analysis...