• 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 automata-based models equipped with variables belonging to different infinite/finite ... present time, parametric (continuous-time) timed automata, extended with integer counters and finite-domain 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 real-time specifications. We define an operational subset of Duration Calculus, called phase automata...
  • REDLIB

  • Referenced in 5 articles [sw21175]
  • full TCTL model-checking of dense-time automata with multiple fairness assumptions. REDLIB uses ... time statespaces. Users can use the procedures in REDLIB to quickly construct dense-time models ... state-space 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 high-level language and interactive...
  • MiniSat

  • Referenced in 541 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Octave

  • Referenced in 293 articles [sw00646]
  • GNU Octave is a high-level 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...