
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 realtime 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]
 Fluxcorrected transport. I. SHASTA, a fluid transport algorithm that works. This paper describes ... built around a technique called “flux correction.” These fluxcorrected 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...

DDEBIFTOOL
 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]
 multipleprecision floatingpoint 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 RCV1v1, and the corrected data as RCV1v2. 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 fluidsurface...

CPnets
 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, generalpurpose operatingsystem kernel. Functional ... correctness means here that the implementation always strictly follows our highlevel abstract specification...