24
Publications
1.5K
Citations
17
H-Index
2002
Active since
Aaron Stump is an author at University of Iowa specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationSoftware AnalysisProgram AnalysisLinguisticsProof Complexity
Publications per year
2002–2018
24
24
The SMT-LIB Standard Version 2.0
Clark Barrett, Aaron Stump, Cesare Tinelli · 2010 · 718 citations
A decision procedure for an extensional theory of arrays
Aaron Stump, Clark Barrett, David L. Dill et al. · 2002 · 135 citations
Mathematical Programming, Computational Complexity Theory, Engineering +16
Roadmap for enhanced languages and methods to aid verification
Gary T. Leavens, Jean-Raymond Abrial, Don Batory et al. · 2006 · 69 citations
SMT proof checking using a logical framework
Aaron Stump, Duckki Oe, Andrew Reynolds et al. · Formal Methods in System Design · 2012 · 57 citations
Clark Barrett, Morgan Deters, Leonardo de Moura et al. · Journal of Automated Reasoning · 2012 · 54 citations
Technology Readiness Level, Business Continuity Planning, End-of-life Product +2
Rows per page
1–5 of 24