Aaron Stump
Aaron Stump
Professor of Computer Science, The University of Iowa
Bestätigte E-Mail-Adresse bei uiowa.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The smt-lib standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th international workshop on satisfiability modulo …, 2010
9102010
The smt-lib standard: Version 2.0
C Barrett, A Stump, C Tinelli
Proceedings of the 8th international workshop on satisfiability modulo …, 2010
9102010
The satisfiability modulo theories library (SMT-LIB). www
C Barrett, A Stump, C Tinelli
SMT-LIB. org 15, 18-52, 2010
4682010
The satisfiability modulo theories library (SMT-LIB). www
C Barrett, A Stump, C Tinelli
SMT-LIB. org 15, 18-52, 2010
4682010
CVC: A cooperating validity checker
A Stump, CW Barrett, DL Dill
International Conference on Computer Aided Verification, 500-504, 2002
2722002
Checking satisfiability of first-order formulas by incremental translation to SAT
CW Barrett, DL Dill, A Stump
International Conference on Computer Aided Verification, 236-249, 2002
2092002
A decision procedure for an extensional theory of arrays
A Stump, CW Barrett, DL Dill, J Levitt
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 29-37, 2001
1932001
StarExec: A cross-community infrastructure for logic solving
A Stump, G Sutcliffe, C Tinelli
International joint conference on automated reasoning, 367-373, 2014
1382014
SMT-COMP: Satisfiability modulo theories competition
C Barrett, L De Moura, A Stump
International Conference on Computer Aided Verification, 20-23, 2005
1152005
Roadmap for enhanced languages and methods to aid verification
GT Leavens, JR Abrial, D Batory, M Butler, A Coglio, K Fisler, E Hehner, ...
Proceedings of the 5th international conference on Generative programming …, 2006
1052006
6 years of SMT-COMP
C Barrett, M Deters, L De Moura, A Oliveras, A Stump
Journal of Automated Reasoning 50 (3), 243-277, 2013
912013
A Generalization of Shostak# x2019; s Method for Combining Decision Procedures
CW Barrett, DL Dill, A Stump
International Workshop on Frontiers of Combining Systems, 132-146, 2002
742002
A trustworthy proof checker
AW Appel, N Michael, A Stump, R Virga
Journal of Automated Reasoning 31 (3-4), 231-260, 2003
582003
Foundational proof checkers with small witnesses
D Wu, AW Appel, A Stump
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
562003
Verified programming in Guru
A Stump, M Deters, A Petcher, T Schiller, T Simpson
Proceedings of the 3rd workshop on Programming languages meets program …, 2009
512009
Verified programming in Guru
A Stump, M Deters, A Petcher, T Schiller, T Simpson
Proceedings of the 3rd workshop on Programming languages meets program …, 2009
512009
Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)
C Barrett, L De Moura, A Stump
Journal of Automated Reasoning 35 (4), 373-390, 2005
512005
Slothrop: Knuth-Bendix completion with a modern termination checker
I Wehrman, A Stump, E Westbrook
International Conference on Rewriting Techniques and Applications, 287-296, 2006
482006
A language-based approach to functionally correct imperative programming
E Westbrook, A Stump, I Wehrman
Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005
482005
SMT proof checking using a logical framework
A Stump, D Oe, A Reynolds, L Hadarean, C Tinelli
Formal Methods in System Design 42 (1), 91-118, 2013
462013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20