Development Practices

Formal Verification

The following codebases have been formally verified using Certora. Please find the links to the Certora specs here:

• LitePSM: https://github.com/makerdao/dss-lite-psm/tree/main/certora

• USDS and DAI-USDS Converter: https://github.com/makerdao/usds/tree/dev/certora

• SKY and MKR-SKY Converter: https://github.com/makerdao/sky/tree/dev/certora