The IOG team utilizes formal methods in Cardano’s development process. Formal methods are a set of mathematical techniques used to ensure the correctness and reliability of software. They are based on formal logic and mathematical proofs and are intended to provide a high level of confidence in the software’s behavior. Come and read how Cardano is being built.

## TLDR

- By using mathematical proofs the risk of bugs and vulnerabilities is greatly reduced.
- Using formal methods enables the creation of a robust and modular codebase.
- Software that will be used by a billion people must not fail under any circumstances.
- One of the main disadvantages of using formal methods is the complexity and cost of the development process.
- The quality of Cardano is mathematically verified.

This article was prepared by Cardanians with support from Cexplorer.

**Read the article**: https://cexplorer.io/article/why-does-iog-use-formal-methods-to-build-cardano