AI Meets Verification:
An Open Discussion with
Certora Researchers
A free virtual event explaining Certora AI Composer
In the era of AI-supported coding, developers need to balance speed with security. The new Certora AI Composer is an open-source AI coding platform that composes artificial intelligence with formal verification to make smart contract development faster and safer.
