成果荟萃

软件研究所软件所在区块链跨链协议验证方面获进展近日,中国科学院软件研究所计算机科学国家重点实验室的科研人员,撰写的题为Formal Analysis of IBC Protocol的研究论文,被网络协议方面的重要国际会议ICNP 2023接收(the 31st IEEE International Conference on Network Protocols)。