
Daryl Hok (YC 14), Executive Vice President and Chief Operating Officer of CertiK
“Formal Verification checks for the absence of bugs, whereas traditional means of testing will check for the existence of bugs. Although the differences may sound inconsequential, the implications are actually very significant.”