img Soha Hussein, Sanjai Rayadurgam, Stephen McCamant, Vaibhav Sharma, and Mats Heimdahl. Counterexample-Guided Inductive Repair of Reactive Contracts. In Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, 2022 Accepted to FormaliSE’23