• Oris

  • Referenced in 2 articles [sw07669]
  • Oris is a tool for qualitative verification and quantitative evaluation of reactive timed systems, which ... enable an integrated approach to qualitative verification and quantitative evaluation. In this paper, we present ... studies in the areas of qualitative verification and quantitative evaluation, respectively...
  • APMC

  • Referenced in 28 articles [sw11483]
  • methods have been extended recently to the verification of probabilistic systems. However, the representation ... propose an approximation method to verify quantitative properties on discrete Markov chains. We give...
  • SCEL

  • Referenced in 17 articles [sw20779]
  • SCEL Language: Design, Implementation, Verification. SCEL (Service Component Ensemble Language) is a new language specifically ... system behavior to establish qualitative and quantitative properties of both the individual components...
  • PRISM-games

  • Referenced in 18 articles [sw12934]
  • multi-player games, which supports modelling, automated verification and strategy synthesis for probabilistic systems with ... reason about probabilities, various reward-based measures, quantitative properties and precise bounds. The tool...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • verification and synthesis of stochastic processes. StocHy is a software tool for the quantitative analysis ... Abstractions are then employed for (ii) formal verification or (iii) control (policy, strategy) synthesis. StocHy...
  • CARAT

  • Referenced in 6 articles [sw35399]
  • evaluated for a subset of SNPs using quantitative PCR and allelic TaqMan reactions with several ... degree of agreement with results from independent verification methods. Conclusion: Overall, CARAT automatically detects regions...
  • ProbDiVinE

  • Referenced in 2 articles [sw04134]
  • version of ProbDiVinE - a parallel tool for verification of probabilistic systems against properties formulated ... version of the tool allows for both quantitative and qualitative model-checking. It is also...
  • Usiigaci

  • Referenced in 1 article [sw32598]
  • developed for cell tracking and data verification. The performance of Usiigaci is validated with electrotaxis ... accurate cell movement and morphological information for quantitative cell migration analysis...
  • QALMA

  • Referenced in 1 article [sw23840]
  • MALAB toolkit which aims to simplify the quantitative analysis of QA for linac which includes ... Multileaf Collimator (MLC) log file analysis and verification of light & radiation field coincidence test...
  • MarCaSPiS

  • Referenced in 5 articles [sw06957]
  • integrated analysis of both qualitative and quantitative aspects of formal specifications of services. To specify ... external stimulus. These allow the verification of assumptions on resources and processes in a system...
  • TrpAQP

  • Referenced in 1 article [sw24381]
  • based on computer modeling, combined with experimental verification has been set up. MIP homologs from ... such as ammonia and/or urea. Urea is quantitatively the most important nitrogen fertilizer used worldwide...
  • SCREAM

  • Referenced in 1 article [sw37790]
  • platforms with varying spatial resolutions. Validation and verification of SCREAM-generated metrics against manual measurements ... potential to provide data for both the quantitative examination of the controls on erosion rates...
  • Alpaga

  • Referenced in 7 articles [sw00032]
  • Alpaga: A Tool for Solving Parity Games with...
  • Apron

  • Referenced in 67 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • gmp

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

  • Referenced in 368 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • 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...
  • MCGP

  • Referenced in 14 articles [sw00562]
  • We present MCGP -- a tool for generating and...
  • mclust

  • Referenced in 267 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...