
CertiK
Leverages formal verification technology to mathematically ensure security in systems software.
HQ location
New York City, United States
Founding location
New York City, United States
Website
Launch date
Authorizing premium user...
Leverages formal verification technology to mathematically ensure security in systems software.