• OEIS

  • Referenced in 3083 articles [sw07248]
  • file of medical records is in the correct order. (Perhaps you are a computer scientist...
  • Isabelle/HOL

  • Referenced in 908 articles [sw01569]
  • particular formal verification, which includes proving the correctness of computer hardware or software and proving...
  • Isabelle

  • Referenced in 580 articles [sw00454]
  • particular formal verification, which includes proving the correctness of computer hardware or software and proving...
  • SIFT

  • Referenced in 568 articles [sw16554]
  • sense that a single feature can be correctly matched with high probability against a large...
  • Kronos

  • Referenced in 256 articles [sw01270]
  • difficult to design and analyze, but whose correct behavior must be ensured because failures ... able to formally prove their correctness with respect to the desired requirements. In KRONOS, components ... modeled by timed automata and the correctness requirements are expressed in the real-time temporal...
  • TETRAD

  • Referenced in 352 articles [sw12177]
  • guaranteed to converge almost certainly to correct information about the true structure in the large...
  • SHASTA

  • Referenced in 205 articles [sw18281]
  • Flux-corrected transport. I. SHASTA, a fluid transport algorithm that works. This paper describes ... built around a technique called “flux correction.” These flux-corrected transport algorithms are of indeterminate...
  • Wesseling

  • Referenced in 304 articles [sw09677]
  • smoothing methods, and nested iteration, and defect correction. Cell centered and vertex centered discretization...
  • DDE-BIFTOOL

  • Referenced in 275 articles [sw02396]
  • solutions is achieved through computing approximations and corrections to the rightmost characteristic roots. Periodic solutions...
  • NQTHM

  • Referenced in 146 articles [sw07543]
  • described completely in their “Metafunctions: proving them correct and using them efficiently as new proof ... procedures” [in “The correctness problem in computer science” (1981; Zbl 0476.68009)] and “The addition...
  • MPFR

  • Referenced in 186 articles [sw03312]
  • multiple-precision floating-point computations with correct rounding. MPFR has continuously been supported...
  • UNITY

  • Referenced in 173 articles [sw13461]
  • provides a means to independently verify the correctness of the transition systems: one can specify...
  • AXIOM

  • Referenced in 168 articles [sw00063]
  • algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language...
  • RCV1

  • Referenced in 99 articles [sw07279]
  • hierarchical category taxonomies, and the corrections necessary to remove errorful data. We refer ... original data as RCV1-v1, and the corrected data as RCV1-v2. We benchmark several ... category experimental results, as well as corrected versions of the category assignments and taxonomy structures...
  • ETPS

  • Referenced in 151 articles [sw06302]
  • gives them immediate feedback for both correct and incorrect actions. ETPS permits students to work...
  • SLAM

  • Referenced in 148 articles [sw03136]
  • interfaces and software that ensure reliable and correct functioning. Static Driver Verifier is a tool...
  • SIMPLIFY

  • Referenced in 134 articles [sw04976]
  • such as testing. Since the cost of correcting an error is reduced...
  • SLIC

  • Referenced in 134 articles [sw18282]
  • relatively easy to advance the fluid surfaces correctly in time. With the SLIC fluid-surface...
  • CP-nets

  • Referenced in 129 articles [sw01374]
  • analysis is carried out to prove its correctness...
  • seL4

  • Referenced in 78 articles [sw15222]
  • down to its C implementation. We assume correctness of compiler, assembly code, and hardware ... first formal proof of functional correctness of a complete, general-purpose operating-system kernel. Functional ... correctness means here that the implementation always strictly follows our high-level abstract specification...