• CSSV

  • Referenced in 20 articles [sw13701]
  • Being a conservative tool, it reports all such errors at the expense of sometimes generating ... small number of false alarms are reported, thereby proving that statically reducing software vulnerability ... used it to verify the absence of errors in real code from EADS Airbus. When...
  • Reveal

  • Referenced in 21 articles [sw00801]
  • correct or an actual design error is reported. The Reveal system allows some user control...
  • SPARK

  • Referenced in 48 articles [sw03124]
  • time errors in safety-critical software. This paper reports the results of a study into ... showing the absence of run-time errors in safety-critical Ada software. In particular...
  • ODRPACK

  • Referenced in 21 articles [sw00649]
  • difference derivatives, and contains extensive error checking and report generating facilities...
  • Orion

  • Referenced in 5 articles [sw09957]
  • producing a high number of false error reports. On the other hand ... complex domains reduces the number of false errors, but limits the size of code that ... aimed at filtering out as many false errors as possible.par We describe the algorithms used ... high signal-to-noise ratio of reported errors, at an acceptable cost...
  • GASpAR

  • Referenced in 12 articles [sw18141]
  • problems for comparable DARe codes. Quantitative errors are reported for 2D spatial and temporal convergence...
  • Calysto

  • Referenced in 7 articles [sw31588]
  • very low rate of false error reports. This paper presents the design decisions, algorithms...
  • DCL

  • Referenced in 30 articles [sw11087]
  • then estimate the reporting and payment delay. Bootstrap methods provide prediction errors and make possible...
  • StEAM

  • Referenced in 6 articles [sw01987]
  • dynamic state description. The error reporting capabilities and the lengths of counter-examples are improved...
  • Velodrome

  • Referenced in 5 articles [sw08925]
  • target program, and it reports error messages if and only if the observed trace...
  • MIRKDC

  • Referenced in 36 articles [sw07159]
  • error control, mesh selection). Extensive numerical tests with a newly developed code MIRKDC are reported...
  • LDPC

  • Referenced in 82 articles [sw03321]
  • rates approaching channel capacity with very low error probability. This and past versions ... release. Github also provides facilities for bug reporting and discussion...
  • FunFrog

  • Referenced in 6 articles [sw06571]
  • successive verification. To prevent reporting spurious errors, the tool incorporates a counter-example-guided refinement...
  • OSWALD

  • Referenced in 6 articles [sw26003]
  • bootstrap procedure to derive the standard errors. This report illustrates the usage of OSWALD...
  • BVD

  • Referenced in 3 articles [sw13938]
  • lets users explore the potential program errors reported by a deductive program verifier. The user...
  • pLinguaCore

  • Referenced in 6 articles [sw06894]
  • models definition, simulators and formats. This library reports the rules and membrane structure read from ... system is defined, detects errors in the file, reports them. And, if the P system ... defined in P-Lingua format, locates the error on the file. This library performs simulations ... taking into account all options defined. It reports the simulation process, by displaying the current...
  • icensmis

  • Referenced in 4 articles [sw13438]
  • Presence of Error-Prone Diagnostic Tests and Self-Reported Outcomes. We consider studies in which ... information from error-prone diagnostic tests or self-reports are gathered sequentially to determine...
  • SNVer

  • Referenced in 3 articles [sw36884]
  • observed allele frequency against sequencing error. SNVer reports one single overall P-value for evaluating ... Each user can choose the false-positive error rate threshold he or she considers appropriate...
  • TopicRNN

  • Referenced in 3 articles [sw36211]
  • IMDB movie review dataset and report an error rate of 6.28%. This is comparable...
  • SOPRA

  • Referenced in 8 articles [sw12607]
  • generation of sequencing projects. However, given the error-prone nature of HTS data ... assembly, we report the no-match/mismatch error rate as well as the rates...