• CeTA

  • Referenced in 46 articles [sw06584]
  • very tedious (if not impossible) for humans to check those proofs for correctness.par In this...
  • Java-MaC

  • Referenced in 10 articles [sw20000]
  • target program, monitoring, and checking are performed fully automatically without human direction, which increases ... monitoring implementation-dependent low-level behaviors and checking high-level behaviors, which allows the reuse...
  • Checkstyle

  • Referenced in 6 articles [sw10473]
  • automates the process of checking Java code to spare humans of this boring (but important...
  • dataMaid

  • Referenced in 4 articles [sw26118]
  • thorough summary of the checks and the results that a human can use to identify...
  • STITCH

  • Referenced in 7 articles [sw17006]
  • high-confidence protein–chemical interactions in human has increased ... spreadsheet with screening hits to easily check which interactions are already known. To increase...
  • XSugar

  • Referenced in 5 articles [sw35682]
  • often too verbose for human use. For this reason, many XML languages permit an alternative ... vice versa. Moreover, the tool statically checks that the transformations are reversible (i.e. bidirectional...
  • webLurch

  • Referenced in 2 articles [sw20925]
  • open-source word processor that can check the steps in students’ mathematical proofs. Users write ... software can distinguish content for human readers from content it should analyze. This paper describes...
  • SDS_Impossibility

  • Referenced in 2 articles [sw32243]
  • proof is a fully structured and quasi-human-redable one. It was derived from ... general case is also not machine-checked. In this Isabelle proof, on the other hand...
  • F@BOOL@

  • Referenced in 3 articles [sw21004]
  • proves (verifies) mathematical statements specified by a human concerning the properties of the translated programs ... solver, namely, the programs swapping variable values, checking whether three integer numbers are the sides...
  • DPARSF

  • Referenced in 3 articles [sw07377]
  • intrinsic functional architecture of the human brain. However, user-friendly toolbox for ”pipeline” data analysis ... generate a set of pictures for easily checking the effect of normalization. In addition, users...
  • Marimba

  • Referenced in 1 article [sw13757]
  • verifying HMMs, called POCTL*, and its model checking algorithm. As far as we know ... handover task in the context of human-robot interaction. Our tool was implemented in Haskell...
  • NEGEXT

  • Referenced in 1 article [sw09761]
  • many to be computed by a normal human mind. This toolkit will also help ... Moreover, the toolkit has a model-checking component which computes whether and how an individual...
  • dfa

  • Referenced in 1 article [sw36864]
  • provide opportunities for deeper understanding of human phenotypes -- in our case, latent disease -- based ... approaches for disease prevention. We cross-check the reported latent diseases with medical literature...
  • iefieldkit

  • Referenced in 0 articles [sw37498]
  • such as those implemented in SurveyCTO; duplicate checking and resolution; data cleaning including renaming, labeling ... document corrections and cleaning in a human-readable format. This enables rapid review of data...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • Coq

  • Referenced in 1828 articles [sw00161]
  • Coq is a formal proof management system. It...
  • IMITATOR

  • Referenced in 29 articles [sw00439]
  • IMITATOR is a software tool for parametric verification...
  • Macaulay2

  • Referenced in 1734 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5177 articles [sw00545]
  • The result of over 30 years of cutting...