Formal Methods In Automated Design Debugging door Sean Safarpour