CertiK is a formal verification framework to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. CertiK ledgers work as certificates to exhibit the end-to-end correctness and security of the verified smart contracts and verified blockchain ecosystems, making them entirely trustworthy.
CertikOS was announced on 12th USENIX Symposium on Operating Systems Design. (check media links)
Zhong Shao - professor of computer science at Yale, the researchers developed an operating system that incorporates formal verification to ensure that a program performs precisely as its designers intended — a safeguard that could prevent the hacking of anything from home appliances and Internet of Things (IoT) devices to self-driving cars and digital currency.
Certik to release Alpha Version in June 2018
To get the allocation for crowdsale, investors should participate in the variation of "Proof of Love" on humiliating terms.