Research is 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.

Projects

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