Projects
Minisat-ml: A reimplementation of Minisat in OCaml
We reimplemented Minisat, a classic SAT solver written in C++, in OCaml. We published the code and a tech report on our findings.
Read MoreImandra EVM: A formal model of the Ethereum Virtual Machine
Imandra-based formal model of the Ethereum Virtual Machine (EVM). We’ve made the model open source under the Apache 2.0 license. It’s the first public entry in our community models repository.
Read MoreIsabelle Language Server Protocol and VSCode Integration
Bringing the power of Isabelle’s Prover IDE to the open-source VSCode and Language Server ecosystems. Part of our broader Imandra Universe effort for collaborative formal verification in the cloud.
Read MoreSelect Publications
-
The Imandra Automated Reasoning System (System Description)
IJCAR / Lecture Notes in AI - 2020
-
Formal Verification of Financial Algorithms
Grant Passmore, Denis Ignatovich - CADE / Lecture Notes in AI - 2017
-
Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
Wenda Li, Grant Olney Passmore, Lawrence C. Paulson - 2017
-
Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers
Grant Passmore - CADE / Lecture Notes in AI - 2015
-
A computational framework for conceptual blending
M. Eppe, Ewen Maclean, R. Confalonieri, O. Kutz, M. Schorlemmer, E. Plaza, K. Kühnbergerf - 2018
-
Collaborative Verification-Driven Engineering of Hybrid Systems.
Stefan Mitsch, Grant Olney Passmore, Andre Platzer, 2014
-
Computation in Real Closed Infinitesimal and Transcendental Extensions of the Rationals
Leonardo de Moura and Grant Passmore - CADE / Lecture Notes in AI - 2013
-
Combined Decision Procedures for Nonlinear Arithmetics, Real and Complex
Grant Passmore - PhD thesis, University of Edinburgh, 2011
Recent and Upcoming Conferences
Recent
-
CADE-28
Virtual, July 2021
-
The CADE 27th
San Diego, USA, April 2021
-
Navy Applications of Machine Learning
San Diego, USA, April 2021
-
AI2020 - DoD's East Coast AI Symposium & Expo
Hyatt Regency Crystal City, VA, USA, 9-10 September, 2020
-
EMEA Trading Conference 2020
London, United Kingdom, 18 September, 2020
-
Workshop on Naval Applications of Machine Learning
San Diego, USA, 27 February, 2020
-
FIA EXPO 2019
Hilton Chicago, USA, 29-31 October, 2019
-
CADE-27
Federal University of Rio Grande do Norte, Brazil, 25-30 August, 2019
-
CMU Cyber-Physical Systems V&V
Cyber-Physical Systems Verification and Validation, Carnegie Mellon University, 11-12 December, 2018
-
FMCAD 2018
The University of Texas at Austin, Austin, Texas, USA, October 30 - November 2, 2018
-
CICM 2018
RISC, Hagenberg, Austria, August 13-17, 2018
-
BIG PROOF
Isaac Newton Institute, Cambridge University, July 1st - August 4th, 2017
-
CADE 26
Gothenburg, Sweden, August 6-11, 2017
-
CICM 2017
Edinburgh, Scotland, 17-21st July, 2017
-
SC2 2017
Saarbrücken, Germany, July 31-August 4, 2017
-
ACL2 2017
Austin, Texas, USA, May 22-23, 2017