Grant Olney Passmore

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 7

Top Topics

Lessons Learned

Formal Verification

Daubechies Wavelet

Preprocessing Phase

Top Venues

Math. Comput. Sci.

AISC/MKM/Calculemus

Publications

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