Certik, a potential future ICO
"Certik was founded in Silicon Valley & NYC, CertiK is a formal verification framework for building fully trustworthy smart contracts and blockchain ecosystems. We are aimed to help people construct bug-free and hacker-resistant smart contracts and blockchain ecosystems".
Pre-sale, ICO and Whitelisting details are yet to be announced.
Please follow the given links where updates will be provided;
Official website: https://certik.org