以下是关于搜索 形式化验证 相关网站的结果共有 1 条,当前显示最新 50 条结果。
成都链安是一家致力于区块链安全生态建设的全球领先的区块链安全公司,也是最早将形式化验证技术应用到区块链安全的公司,总部位于四川成都。公司由电子科技大学教授联合创立,团队成员均来自从事信息安全行业多年的国内外知名院校教授、博士后、博士以及知名企业精英,现有团队成员100余人,技术人员占比超过85%。已在北京、深圳、杭州、海南等多地设有分公司和办事处。目前已与公安、工信部、中国通信院、网信办等执法监管机构,以及包括蚂蚁链、腾讯区块链、微众银行、万向区块链、布比等国内外头部区块链企业建立了深度合作;为全球2000多份智能合约、50多个区块链平台和落地应用系统提供了安全审计与防御部署服务;为上千家执法单位提供了案件前、中、后期全链条技术支持服务,成功协助破获案件总涉案金额数百亿。
更新时间:2023-03-24 直链:www.lianantech.com