# Formal Verification-based Design Model Repair

> 2020 doctoral thesis by Chenghao Cai at University of Auckland

**Wikidata**: [Q112951517](https://www.wikidata.org/wiki/Q112951517)  
**Source**: https://4ort.xyz/entity/formal-verification-based-design-model-repair