其他
哥大校友会分享问答: 从直升机到NASA,军用级安全护盾的区块链应用
“小鸟”新系统使用的技术便是形式化验证(formal verification)技术。它的代码就像数学证明一样可靠。
https://certik.io/research/deepsea/
https://github.com/CertiKProject/deepsea-preview/blob/master/DeepSEA%20language%20reference.pdf
了解更多
General Information: info@certik.org
Audit & Partnerships: bd@certik.org
Website: certik.org
Twitter: @certik.org
Telegram: t.me/certik.org
Medium:medium.com/certik
币乎:bihu.com/people/1093109
往期回顾