Formal Methods In Automated Design Debugging by Sean Safarpour