
IMITATOR
 Referenced in 27 articles
[sw00439]
 formalism of networks of parametric timed automata, augmented with integer variables and stopwatches. It implemented...

TREX
 Referenced in 46 articles
[sw01388]
 tool for automatic analysis of automatabased models equipped with variables belonging to different infinite/finite ... present time, parametric (continuoustime) timed automata, extended with integer counters and finitedomain variables...

Time4sys2imi
 Referenced in 1 article
[sw31184]
 tool translating Time4sys models into parametric timed automata in the input language of IMITATOR. This...

Moby/DC
 Referenced in 5 articles
[sw01395]
 parametric realtime specifications. We define an operational subset of Duration Calculus, called phase automata...

REDLIB
 Referenced in 5 articles
[sw21175]
 full TCTL modelchecking of densetime automata with multiple fairness assumptions. REDLIB uses ... time statespaces. Users can use the procedures in REDLIB to quickly construct densetime models ... statespace representation normalizations, greatest fixpoint calculation, parametric safety analysis of linear hybrid systems, speed...

CDT
 Referenced in 12 articles
[sw00116]
 Algorithm 750: CDT: A subroutine for the exact...

CGAL
 Referenced in 362 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Cinderella
 Referenced in 152 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

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

GAP
 Referenced in 2948 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 272 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Isabelle
 Referenced in 617 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Magma
 Referenced in 2986 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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...

MiniSat
 Referenced in 541 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 293 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

QEPCAD
 Referenced in 278 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

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