Reviewing繁體中文 Chinese (Traditional)Change
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 guideSuggested translation
Cast your vote on the terms below to help the community select the best translation for each context.
- 形式化驗證Prose
- 形式化驗證Heading
- 形式化驗證Tag
- 形式化驗證UI
Coming soon: voting and suggestions need an account, which ships in a later phase. Everything shown here is live glossary data.
into Chinese (Traditional)
If your term matches an existing suggestion, we’ll upvote that one for you instead of creating a duplicate.