Development Practices
Formal Verification
Section titled “Formal Verification”The following codebases have been formally verified using Certora. Please find the links to the Certora specs here:
- LitePSM: https://github.com/sky-ecosystem/dss-lite-psm/tree/main/certora
- USDS and DAI-USDS Converter: https://github.com/sky-ecosystem/usds/tree/dev/certora
- SKY and MKR-SKY Converter: https://github.com/sky-ecosystem/sky/tree/dev/certora
Released into the public domain (CC0 1.0 Universal)
– trademarks remain with their owners; no warranty. See full license.