网址：https://runtimeverification.com
提升软件系统的安全性、可靠性和正确性。
声音 | TechCrunch创始人：就区块链领域的监管而言 美国实在是很差劲:TechCrunch、Arrington XRP Capital创始人Michael Arrington近期在旧金山的区块链周上谈到了中国进军区块链领域的举措，并直言不讳地表达了自己对美国监管者的不满：“他们太差劲了。恕我实在看不出美国在这方面有什么合格的监管能力或有做好工作的意愿。”（Decrypt）[2019/11/3]
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。
声音 | TechCrunch创始人：对于山寨币来说 币安比其他交易所都更加重要:据AMBCrypto消息，Binance Launchpad已经成为寻求融资的加密货币项目最重要的平台之一。TechCrunch创始人、Arrington Capital合伙人Michael Arrington发推称，“除了韩国，对于山寨币来说，币安比所有其他交易所加起来都更加重要。对像我们这样的BNB持有者来说很好，但对整个市场来说不好。人们需要加强竞争。”随后，他表示，币安必须“小心反竞争行为”，如“强制币安链（Binance Chain）”作为在其交易所上市的要求之一。他补充说，币安链应该“凭自己的实力竞争”。 对此，币安创始人赵长鹏回复，“我对团队说了同样的话。不，还有很多币我们没有上线。我们不会竞争抢先上线一个币，我们希望看到它们在其他交易所先有所增长。”[2019/5/29]
运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。
动态 | TechCrunch报告称超1000个加密货币项目已经破产:据TechCrunch最近的一份报告显示，截至2018年6月30日，超过1000个加密货币项目已经破产。这份报告基于Coinopsy和DeadCoins两个网站的数据。据悉，Coinopsy每天都会对各种加密货币进行评论，包括那些已经“死亡”的加密货币。根据Coinopsy公司的名单，截至目前，共有247枚加密货币项目破产。其中包括2018年1月关闭的臭名昭著的Bitconnect交易平台。[2018/7/1]
运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。