Statistics
Publications
24
Citations
1.5K
H-Index
17
Active since
2002
Aaron Stump is an author at University of Iowa specializing in engineering, formal methods, and computer science.
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