Research is at the heart of what we do. This section showcases evolving technologies from our R&D engineers. From academic publications to new Imandra prototypes, join in the excitement as our new scientific results graduate into powerful products.


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 More
Imandra 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 More
Isabelle 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 More

Recent and Upcoming Conferences

Have you already tried Imandra?
Try Imandra
By using this website, you agree to our cookie policy

Please note that the Imandra website no longer supports Internet Explorer

We recommend upgrading to the latest Microsoft Edge, Google Chrome, or Firefox