crypto.bi

Browsing Concept: Formal Method

Formal Method is a mathematical concept where the logic of formulas and statements may be verified to be 100% correct. Formal methods are often employed in mission critical applications such as space exploration, medical systems, nuclear plant management among others.

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