网址：https://runtimeverification.com
以太坊开发者：矿工应该在一年前参与讨论EIP-1559:针对推特网友表示，矿工是以太坊的利益相关者，并且没有得到足够的重视。尽管EIP1559直接影响到了他们，但他们的意见并没有得到尊重。如果矿工觉得自己被听到了，就不会计划发起51小时算力转移示威活动以反对EIP-1559。以太坊开发者Tim Beiko回复表示，强烈反对矿工没有被倾听和尊重。一些开发人员/研究人员花了数周时间回答他们的问题，驳斥他们的一些反对意见，并帮助他们建立一个EIP。几乎每个核心开发人员都意识到，EIP-1559之后，哈希率可能会大幅下降，但他们并不像矿工那样认为是大问题。矿工“感觉不被听到”的很大一部分原因是他们直到最后才参与。矿工们参与的最佳时机应该是1年前，当时1559正处于非常活跃的开发阶段。对于矿工的任何一项提议，就其性质而言，都将是有争议的，我很难看到在伦敦硬分叉之前评估人们的情绪。[2021/3/15 18:45:18]
提升软件系统的安全性、可靠性和正确性。
约4576枚BTC转出Xapo交易所 价值约2.17亿美元:Whale Alert数据显示，北京时间2月10日05:16，4575.99枚BTC从Xapo交易所转入3BqLR3开头的未知钱包，价值约2.17亿美元，交易哈希为：a0303ae4ea41e107e880bf01ceb99e4e9a60b6331008040aab149c5b30c79b17。[2021/2/10 19:23:32]
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。
运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。
运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。