Design Model Repair with Formal Verification.

Chenghao Cai, Jing Sun, Gillian Dobbie

Browse the full ICFEM paper archive.