旗下微信矩陣:
投資界
微信掃碼訂閱
天天IPO
微信掃碼訂閱
解碼LP
微信掃碼訂閱
并購
微信掃碼訂閱
前哨
微信掃碼訂閱
野性消費吧
微信掃碼訂閱
清科集團
清科創(chuàng)業(yè)
清科研究中心
清科母基金
新芽
入駐創(chuàng)投號
尋求報道
APP
投資界APP下載
登錄
首頁
資訊
深度
融資
募資
獨角獸
上市
科創(chuàng)板
巨頭
IPO
政策
解碼LP
快訊
會議
研究
創(chuàng)投號
New
深度
熱門
產業(yè)圖譜
IPO前線
解碼LP
募資捷報
創(chuàng)投政策
99個發(fā)現(xiàn)
投研院
City
私募通
投資界
Tag
形式化驗證
形式化驗證
形式化驗證最新資訊,投資界全方位播報形式化驗證相關話題,全面解讀形式化驗證投資、融資、并購等動態(tài)。
快訊|形式化驗證公司Certik獲幣安孵化器數(shù)百萬美元投資
CertiK平臺首次引入的深度規(guī)范(DeepSpec)技術,已為數(shù)十家區(qū)塊鏈公司完成智能合約的形式化驗證。CertiK團隊核心源自于美國專利技術CertiKOS防黑客操作系統(tǒng)。
CertiK
形式化驗證
幣安
融資大事件
2018-10-10 17:33
熱榜
1
高增長不再?近視防控大單品遭遇生死劫
2
專注iPSC 生物制造,瑞臻再生醫(yī)學完成近億元Pre-A輪融資
3
PD-1新黃金搭檔,爆了
4
VC/PE可以發(fā)債募資了
5
北京SKP被賣了