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.

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

Previous term Next term