Heather Harton is an author at Clemson University specializing in formal methods, program analysis, and automated reasoning.
Top concepts
EngineeringFormal MethodsSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringEducation
Publications per year
2009–2012
4
4
Building a push-button RESOLVE verifier: Progress and challenges
Murali Sitaraman, Bruce Adcock, Jeremy Avigad et al. · Formal Aspects of Computing · 2010 · 49 citations · Full text
Engaging students in specification and reasoning
Murali Sitaraman, Jason O. Hallstrom, Jarred White et al. · 2009 · 15 citations
Rows per page
1–4 of 4