Jesse Whittemore is an author at University of Michigan specializing in formal verification, formal methods, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsSatisfiabilityComputer ScienceAutomated ReasoningFormal VerificationComputer EngineeringAutomationProgram Analysis
Publications per year
2000–2001
2
2
Jesse Whittemore, Joonyoung Kim, Karem A. Sakallah · 2001 · 180 citations
On applying incremental satisfiability to delay fault testing
Joonyoung Kim, Jesse Whittemore, João Marques‐Silva et al. · 2000 · 29 citations
Rows per page
1–2 of 2