Runtime Verification

Runtime VerificationSubstrate

https://runtimeverification.com

提升軟件系統的安全性、可靠性和正確性。

Runtime Verification

Runtime Verification 旨在使用 runtime verification 技術，提升軟件系統的安全性、可靠性和正確性。其團隊由這一領域的先驅與領導者組成。

健身對戰游戲Run Legends將于5月18日上線Sui Network:5月17日消息，Sui開發公司Mysten Labs宣布健身對戰游戲Run Legends將于5月18日上線Sui Network。Run Legends表示，其開發團隊Talofa Games在2019年獲得了Niantic Beyond Reality競賽大獎，團隊成員來自Riot Games、EA和thatgamecompany等，其公測版中第1個月月活躍用戶數量（MAU）達到13000。[2023/5/17 15:07:59]

運行時驗證 runtime verification 是一種動態軟件分析方法，可在程序執行時對其進行分析、觀察執行結果，并使用這些結果查找錯誤。

百威與Zed Run達成合作，將推出NFT通行證和Clydesdale NFT皮膚:6月8日消息。啤酒制造商百威（Budweiser）與Zed Run合作，在其基于NFT的虛擬賽馬和投注游戲中部署代幣化的克萊茲代爾（Clydesdale）挽馬。

作為合作的一部分，雙方將推出百威主題賽道、百威NFT通行證、百威贊助的虛擬賽馬獎池（將在7月和9月舉辦比賽，獎金分別為4.5萬美元；12月將舉辦巡回賽，獎金達9.5萬美元），以及空投三個版本的Clydesdale NFT皮膚，可在Zed Run中使用。（Cointelegraph）[2022/6/8 4:10:24]

運行時驗證 runtime verification 比傳統的形式分析技術更輕量級，也不意味著取代傳統的基于單元的、功能和集成測試，甚至是輕量級的靜態分析工具。

Polkadot通過62號動議計劃將升級至runtime 28:2月18日，Web3基金會技術教育主管Bill Laboon發推公布波卡項目相關進展稱，62號動議已經通過，該項動議計劃將Polkadot升級到runtime 28。同時技術委員會已被要求加快這項提案的進度。[2021/2/19 17:28:19]

Tags：安全 Substrate Runtime Verification