Sean Safarp is an author at University of Toronto specializing in formal methods, computer engineering, and engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisDesign For TestingAutomated Reasoning
Publications per year
2007–2007
1
1
Improved Design Debugging Using Maximum Satisfiability
Sean Safarp, Hratch Mangassarian, Andreas Veneris et al. · 2007 · 36 citations
Engineering, Hardware Verification Language, Verification +20
Rows per page
1–1 of 1