crypto.bi

Browsing Concept: Formal Methods

Formal Methods are a field of mathematics where logical constructs are used to verify the validity and correctness of formulas. When applied to software , formal methods are able to produce programs which are guaranteed defect-free.

One publication found under Formal Methods
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...