ReviewingУкраїнська UkrainianChange

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

Suggested translation

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

  • формальної верифікації
    Prose
  • Формальна верифікація
    Heading
  • Формальна верифікація
    Tag
  • Запустити формальну верифікацію
    UI
  • oneформальна верифікаціяtwoформальні верифікаціїfewформальні верифікаціїmanyформальних верифікаційotherформальних верифікацій
    Plurals

Coming soon: voting and suggestions need an account, which ships in a later phase. Everything shown here is live glossary data.

Previous termNext term

into Ukrainian

If your term matches an existing suggestion, we’ll upvote that one for you instead of creating a duplicate.