Grant Olney Passmore
Grant Olney Passmore
Imandra Inc. and Clare Hall, University of Cambridge
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cl.cam.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The Strategy Challenge in SMT Solving
L de Moura, GO Passmore
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune, 2013
572013
Combined Decision Techniques for the Existential Theory of the Reals
G Passmore, P Jackson
Intelligent Computer Mathematics, 122-137, 2009
502009
Computation in real closed infinitesimal and transcendental extensions of the rationals
L De Moura, GO Passmore
International Conference on Automated Deduction, 178-192, 2013
332013
Combined decision procedures for nonlinear arithmetics, real and complex
GO Passmore
The University of Edinburgh, 2011
302011
Model problems in PDE-constrained optimization
E Haber, L Hanson
Report, Emory University, 2007
252007
Real algebraic strategies for MetiTarski proofs
GO Passmore, LC Paulson, L De Moura
International Conference on Intelligent Computer Mathematics, 358-370, 2012
212012
System and method for modeling and verifying financial trading platforms
D Ignatovich, GO Passmore
US Patent 10,109,010, 2018
17*2018
Formal verification of financial algorithms
GO Passmore, D Ignatovich
International Conference on Automated Deduction, 26-41, 2017
172017
Proving SPARK verification conditions with smt solvers
PB Jackson, GO Passmore
Paper regarding the improved results of using SMT-Lib for SPARK, 2009
142009
Formal Verification of Graphical Programs
J Kornerup, GO Passmore
US Patent App. 11/834,084, 2009
142009
Collaborative verification-driven engineering of hybrid systems
S Mitsch, GO Passmore, A Platzer
Mathematics in Computer Science 8 (1), 71-97, 2014
132014
Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL
W Li, GO Passmore, LC Paulson
Journal of Automated Reasoning 62 (1), 69-91, 2019
112019
On Locally Minimal Nullstellensatz Proofs
L De Moura, GO Passmore
Proceedings of the 7th International Workshop on Satisfiability Modulo …, 2009
102009
A vision of collaborative verification-driven engineering of hybrid systems
S Mitsch, GO Passmore, A Platzer
Do-Form, 8-17, 2013
72013
Groebner Basis Construction Algorithms Based on Theorem Proving Saturation Loops
GO Passmore, L de Moura, PB Jackson
Decision Procedures in Software, Hardware and Bioware, 2010
72010
Superfluous S-polynomials in strategy-independent Groebner bases
GO Passmore, L De Moura
2009 11th International Symposium on Symbolic and Numeric Algorithms for …, 2009
72009
Impugning Randomness, Convincingly
Y Gurevich, GO Passmore
Studia Logica 100, 171-200, 2012
52012
The imandra automated reasoning system (system description)
G Passmore, S Cruanes, D Ignatovich, D Aitken, M Bray, E Kagan, ...
International Joint Conference on Automated Reasoning, 464-471, 2020
42020
Creating Safe and Fair Markets
DA Ignatovich, GO Passmore
Aesthetic Integration, Ltd., 2015
32015
A note on real quantifier elimination by virtual term substitution of unbounded degree
K Liiva, GO Passmore, PB Jackson
Proceedings of the PAS workshop, Vienna Summer of Logic, 2014
32014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20