As a way to eliminate bugs in high-risk code, a style of software programming known as formal verification is making its way into the blockchain world.Put simply, formal verification uses math to specify and analyze a program for errors in logic. However, because of the time and cost involved, formal verification is best reserved for situations where human life or large sums of money are at stake.Currently, formal verification is used to verify the correctness of high-risk code in transportat

Source and More information: Goodbye Bugs How Formal Verification Could Fortify Smart Contracts