网址：https://runtimeverification.com
币安或因AWS问题部分服务再次出现宕机:据赵长鹏推特消息，币安交易所内一些与保证金相关的系统似乎出现了问题，据悉可能是因为亚马逊云服务AWS故障导致。赵长鹏之后确认币安的一家云服务提供商遇到广泛问题，监控工具目前也受到影响而关闭，目前正在协商处理此事。[2020/10/22]
提升软件系统的安全性、可靠性和正确性。
金色晚报 | 8月28日晚间重要动态一览:12:00-21:00关键词：北京、ETC、Bitfinex、Visa、Cosmos、Filecoin
1. 北京数字货币研究中心在京成立。
2. ETC核心开发者将于明日凌晨举行会议，讨论挖矿算法变更事宜。
3. Bitfinex首席技术官：Bitfinex官方热钱包USDT仅占总供应量的11%。
4. 中国贸易金融跨行交易区块链平台应用投产。
5. DeFi流动性挖矿项目Degen.Money被曝通过双重授权漏洞获取用户资金。
6. Filecoin测试网全网有效算力突破30.03 PiB。
7. Cosmos生态基金会ICF宣布与Cdot合作，将资助其开发Substrate IBC模块。
8. Visa高管抨击美联储：建议“利用比特币退出”。
9. 数据：以太坊链上比特币锚定币发行量突破5万枚。
10. OpenEthereum官方：已推出v.2.5版本 且此前受影响的节点并未离线。[2020/8/28]
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。
运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。
运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。