Formal verification
Using mathematical methods to check whether software satisfies explicitly stated properties.
In more detail
Formal verification starts with a property to establish, then checks the program against a model. This can provide strong evidence about the chosen behavior. Scope matters: proving one accounting rule does not prove that the application, oracle or economic design handles every possible problem.
How you might use it
You specify that a transfer must preserve total supply, then use a verifier to check that property under the model's assumptions.
Got a way to make Formal verification click?
Add your takeBy Crypto Dictionary · Published · Updated
Go to the source
Use the original reference to explore the details behind this entry.
Read the referenceAn original explanation with a reference to follow. Protocol details and community usage can evolve. Sources & standards