Open in app
Sign inGet started
Go to Certora
About
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
Note from the editor

Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts

Editors
Go to the profile of Uri Kirstein
Uri Kirstein
Software Engineer at Certora
Go to the profile of Michael George
Michael George
Go to the profile of Nurit Dor
Nurit Dor
Go to the profile of Mooly Sagiv
Mooly Sagiv
Chair of software systems at Tel Aviv University and CEO of Certora. Making formal verification a standard practice in Software Development.
Go to the profile of David Steinrueck
David Steinrueck
Go to the profile of Davidmwihuri
Davidmwihuri
Go to the profile of Amit Levy
Amit Levy
Go to the profile of Jorge Navas
Jorge Navas
https://jorgenavas.github.io/
Writers
Go to the profile of John Toman
John Toman
Go to the profile of Chandrakana Nandi
Chandrakana Nandi
Dr. Chandrakana Nandi is a Senior Researcher at Certora. More information can be found on her webpage: https://cnandi.com/
Go to the profile of Netanel
Netanel
Go to the profile of Ghila Castelnuovo
Ghila Castelnuovo
Experienced Software Engineering Manager and technical leader.