Browsing Concept: Formal Verification

Formal Verification is the process of verifying software programs using Formal Methods. Formal Verification imposes several limitations on software, but as a result it is able to guarantee that a program is 100% error-free.

Browsing 2 results under Formal Verification
ELI5 Semi-formal Cryptocurrency Development
We've previously discussed formal software verification as related to crypto programming. Today we'd like to discuss an intermediary concept called semi-formal cryptocurrency d...
What is “formal verification” of cryptocurrency software?
You may have heard that Cardano ADA is aiming for formal verification of its core software. What does it mean for software programs to be formally verified? Why is it important...