Runtime Verification

Runtime Verification

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

Maker創始人Rune Christensen加入風險投資公司Dragonfly Capital:金色財經報道，穩定幣協議MakerDAO的創始人Rune Christensen已作為風險合伙人加入風險投資公司Dragonfly Capital。Christensen將同時為MakerDao項目做出貢獻并與Dragonfly合作。據悉，Dragonfly在2019年投資了Maker，還投資了1inch、Compound和Tagomi等公司。[2021/11/16 6:53:46]

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

區塊鏈賽馬游戲ZedRun將于3月20日發售新版創世賽馬NFT:3月16日消息，區塊鏈賽馬游戲ZedRun發推宣布將于北京時間3月20日13:00發售新版創世賽馬NFT。[2021/3/16 18:49:40]

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

黑客攻擊游戲Runescape漏洞獲取資金以購買比特幣:黑客利用游戲Runescape的漏洞進行雙花攻擊獲取了數萬億的游戲幣，價值超25萬美元，并利用這些資金購買比特幣。據稱，Runescape發行商Jagex已經修補了Runescape的漏洞，但黑客卻仍能對Runescape 3進行類似的雙花攻擊。 對此，一些社區成員建議Jagex考慮采用比特幣或其他加密資產作為他們的游戲貨幣，并利用區塊鏈技術來抵抗雙花攻擊。（Cryptoglobe）[2020/7/13]

Tags：安全SubstrateRuntime Verification

官方

• 

  Facebook

• 

  Twitter

• 

  Weibo

• 

  YouTube