ReviewingTürkçe TurkishChange

Term

formal verification

Definition

Proving mathematically that code satisfies a specification for all inputs, rather than testing a sample of them. It is used on high-value contracts and on the protocol's own specifications.
More in style guide
Something off about this term?

Suggested translation

Cast your vote on the terms below to help the community select the best translation for each context.

  • biçimsel doğrulama
    Prose
  • Biçimsel Doğrulama
    Heading
  • Biçimsel Doğrulama
    Tag
  • Biçimsel Doğrulama
    UI
  • onebiçimsel doğrulamaotherbiçimsel doğrulamalar
    Plurals
Previous termNext term

Into Turkish, for the context

Suggestions go to the glossary maintainers, who review them alongside everyone else’s. They are not shown to other visitors until approved.