成都链安科技认领

成都链安科技有限公司

0粉丝

成都链安科技研制出了第一个高度自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“

简介

成都链安科技研制出了第一个高度自动化的区块链形式化验证平台VaaS（Verification as a Service），为智能合约和区块链应用提供“军事级”的形式化验证服务。

企业信息

所属公司

成都链安科技有限公司

创立年份

100

融资阶段

战略融资

时光轴

里程碑1

LOG0

2023

2023-06

轻识收录

打卡

评价

0.0（满分 10 分）0 个评分

什么是点评分

图片

表情

全部评价( 0)

推荐率 100%