Grant Olney Passmore

19 papers A 3B 1C 1Misc 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic.
CoRR
Hongyu Lin, Samer Abdallah, Makar Valentinov, Paul Brennan, Elijah Kagan, Christoph M. Wintersteiger, Denis Ignatovich, Grant Olney Passmore
2021 B conf
Some Lessons Learned in the Industrialization of Formal Methods for Financial Algorithms.
FM
Grant Olney Passmore
2020 J jnl
The Imandra Automated Reasoning System (system description).
CoRR
Grant Olney Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto
2019 J jnl
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL.
J. Autom. Reason.
Wenda Li, Grant Olney Passmore, Lawrence C. Paulson
2017 A conf
Formal Verification of Financial Algorithms.
CADE
Grant Olney Passmore, Denis Ignatovich
2015 J jnl
A Complete Decision Procedure for Univariate Polynomial Problems in Isabelle/HOL.
CoRR
Wenda Li, Grant Olney Passmore, Lawrence C. Paulson
2015 A conf
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.
CADE
Grant Olney Passmore
2015 J jnl
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.
CoRR
Grant Olney Passmore
2014 J jnl
Collaborative Verification-Driven Engineering of Hybrid Systems.
CoRR
Stefan Mitsch, Grant Olney Passmore, André Platzer
2014 J jnl
Collaborative Verification-Driven Engineering of Hybrid Systems.
Math. Comput. Sci.
Stefan Mitsch, Grant Olney Passmore, André Platzer
2013 A conf
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals.
CADE
Leonardo Mendonça de Moura, Grant Olney Passmore
2013 — conf
The Strategy Challenge in SMT Solving.
Automated Reasoning and Mathematics
Leonardo Mendonça de Moura, Grant Olney Passmore
2012 C conf
Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase.
CiE
Grant Olney Passmore, Paul B. Jackson
2012 J jnl
Impugning Randomness, Convincingly.
Stud Logica
Yuri Gurevich, Grant Olney Passmore
2012 — conf
Real Algebraic Strategies for MetiTarski Proofs.
AISC/MKM/Calculemus
Grant Olney Passmore, Lawrence C. Paulson, Leonardo Mendonça de Moura
2011 J jnl
Impugning Randomness, Convincingly.
Bull. EATCS
Yuri Gurevich, Grant Olney Passmore
2010 — conf
Gröbner Basis Construction Algorithms Based on Theorem Proving Saturation Loops.
Decision Procedures in Software, Hardware and Bioware
Grant Olney Passmore, Leonardo Mendonça de Moura, Paul B. Jackson
2009 — conf
Combined Decision Techniques for the Existential Theory of the Reals.
Calculemus/MKM
Grant Olney Passmore, Paul B. Jackson
2009 Misc conf
Superfluous S-polynomials in Strategy-Independent Groebner Bases.
SYNASC
Grant Olney Passmore, Leonardo Mendonça de Moura