CertiK leverages formal verification technology to mathematically ensure security in systems software.