Chandrakana Nandi – Medium

Chandrakana Nandi

Published in
Certora

Gambit: A Solidity Mutation Testing Tool for Formal Verification

Author: Chandrakana Nandi

Mar 29, 2023

Gambit: A Solidity Mutation Testing Tool for Formal Verification

Mar 29, 2023

Published in
Certora

Certora Technology White Paper

Authors: Daniel Jackson, Chandrakana Nandi, Mooly Sagiv Editors: Sameer Arora, Uri Kirstein

Oct 7, 2022

Certora Technology White Paper

Oct 7, 2022

Chandrakana Nandi

Chandrakana Nandi

Dr. Chandrakana Nandi is a Senior Researcher at Certora. More information can be found on her webpage: https://cnandi.com/

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams