Runtime Verification
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。
波卡周报：Kusama Runtime已成功升级v9030，目前Shell运行稳定:波卡周报显示，Kusama理事会已经投票通过299号motion（将Kusama的runtime升级到9030）并进入全民公投，之后技术委员会对此进行了加速投票，已经在本周五结束投票！目前Kusama的runtime已升级到v9030。这个升级为平行链添加了一些必要的更改。此版本升级后，Shell平行链运行稳定。[2021/5/31 22:57:52]
运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。
Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问:金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。[2021/4/1 19:36:29]
运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
TechCrunch创始人Michael Arrington布局区块链，以顾问身份加入新加坡团队CNN Token:据悉，美国著名科技类博客TechCrunch创始人Michael Arrington近日加入CNN Platform项目并担任顾问，指导该项目的区块链技术应用以及内容运营。Michael Arrington是TechCrunch的创始人，曾被《时代》杂志誉为全球最具影响力的人物之一。CNN Platform是由新加坡D-Run Foundation基金孵化的区块链项目，旨在打造最大最具影响力的内容生态社区。此前，印度排名第一的新闻应用NewsDog也与CNN Platform达成战略合作，并成为该项目上的第一个实际应用。[2018/2/26]
9月20日,波卡Polkadot官方社区PolkaWorld发布波卡周报。主要内容有：1.波卡2号公投,即将使验证人数量从197人增加到236人未获通过。2.Polkadot网络已于9月17日升级到runtimev23.
1900/1/1 0:00:00金色财经消息,根据最新发布的波卡周报,本周主要事件如下：-Parity工程师Kian更新了5月PolkadotStaking月报。在这次的更新中,提名池可以进行冻结,并且管理者是可以选择的,也就是说,提名池可以由治理控制.
1900/1/1 0:00:00波卡 Parity发布Polkadot0.9.3版本,这是一个优先级比较高的版本。Kusama和Polkadot节点应尽快升级！https://github.com/paritytech/polkadot/releases/tag/v.
1900/1/1 0:00:00波卡 Parity发布?Polkadot0.9.3?版本,这是一个优先级比较高的版本。Kusama和Polkadot节点应尽快升级！https://github.com/paritytech/polkadot/releases/tag.
1900/1/1 0:00:00根据PolkaWorld最新发布的波卡周报,本周重要事件包括：1.Polkadot已经更新到runtimev29；2.Polkaregistry提出的国库议案,一个更加去中心化的注册机器.
1900/1/1 0:00:00在最新一轮融资中,区块链安全审计公司RuntimeVerification筹集了530万美元。本轮融资由IOSGVentures领投.
1900/1/1 0:00:00波卡 Parity发布?Polkadot0.9.3?版本,这是一个优先级比较高的版本。Kusama和Polkadot节点应尽快升级！https://github.com/paritytech/polkadot/releases/tag.
1900/1/1 0:00:00
宇宙链
