Grant Passmore

Grant Passmore worked with Aesthetic Integration, whose Imandra technology uses formal verification to check financial algorithms. Its Imandra Contracts system brought cloud-based formal verification to Ethereum.

2 talks by Grant Passmore

• Imandra Contracts Formal Verification for Ethereum - Dr. Grant Passmore and Evgeny Gokhberg
• Towards Imandra Contracts: Formal verification for Ethereum