# Formal verification

> Proofs and property-based tests catch the bugs tests miss: bad deploys −50%, but every Feature costs 15% more Dev Hours.

## Prerequisites

Research these first: [Automated tests](https://wiki.playquorum.dev/research/testing-culture.md).

## Facts

Formal verification
- **Track:** Product
- **Era:** [Series A](https://wiki.playquorum.dev/eras/series-a.md)
- **Cost:** 2.50k 2.50k
- **Requires:** [Automated tests](https://wiki.playquorum.dev/research/testing-culture.md)

## See also

- [Research tree](https://wiki.playquorum.dev/research.md)

Source: https://wiki.playquorum.dev/research/formal-verification