Homepage
Open in app
Sign in
Get started
Top Stories published by Certora in March of 2023
All
2023
March
Sort by most read
Chandrakana Nandi
in
Certora
Mar 29, 2023
Gambit: A Solidity Mutation Testing Tool for Formal Verification
Read more…
151
January 2023
April 2023
About
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Tags
Smart Contracts
Mutation Testing
Formal Verification
Editors
Uri Kirstein
Michael George
Nurit Dor
Mooly Sagiv
David Steinrueck
Davidmwihuri
Amit Levy
Jorge Navas
Writers
John Toman
Chandrakana Nandi
Netanel
Ghila Castelnuovo