
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 Discretetime 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 highlevel 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 generalpurpose 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...

SPLUS
 Referenced in 602 articles
[sw02892]
 SPLUS 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 Scientiﬁc 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...