Homepage
Open in app
Sign in
Get started
Top Stories published by Certora in January of 2023
All
2023
January
Sort by most read
Thomas Adams
in
Certora
Jan 25, 2023
A New Verification Workflow — The Certora Prover IDE Extension for VSCode
Read more…
9
March 2023
About
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Tags
Certora
Vscode
Defi
Formal Verification
Ethereum
Editors
Uri Kirstein
Michael George
Nurit Dor
Mooly Sagiv
David Steinrueck
Davidmwihuri
Amit Levy
Jorge Navas
Writers
John Toman
Chandrakana Nandi
Netanel
Ghila Castelnuovo