网址：https://runtimeverification.com
摩根大通分析师：比特币的贴水和市场份额过低令人担忧:彭博社于 6 月 10 日发表的一篇报告中写到，比特币在两天内上涨了 9%，虽然这一行情为多头带来了鼓舞，但比特币现货价格比期货市场的价格要高，这表示机构投资者目前对比特币的需求仍然走低。比特币期货曲线在 2018 年的大部分时间里都处于贴水状态，这一年比特币在经历了大幅上涨后下跌了 74%。
以 Nikolaos Panigirtzoglou 为首的摩根大通策略师在一份报告中写道，最近几周的现货溢价是一个指向熊市的负面信号，比特币在总加密市值中相对较低的份额是另一个令人担忧的趋势。
据 CoinGecko 数据显示，比特币目前在整个加密市场价值中的份额为 42%，低于年初的 70%。对此，摩根大通策略师表示，比特币的市场份额可能需要超过 50%，才能更容易地认为当前的熊市已经结束。[2021/6/10 23:27:27]
提升软件系统的安全性、可靠性和正确性。
韩国区块链协会敦促政府推迟2021年10月对加密征税的计划:韩国区块链协会(KBA)敦促韩国政府推迟从2021年10月开始对加密交易利润征税的计划，称基础设施似乎不太可能及时到位。KBA建议将该税收计划推迟到2023年1月，届时与股票和证券转让有关的一套新的资本获利所得税规定将生效。（CryptoNews）[2020/10/15]
Runtime Verification 旨在使用 runtime verification 技术，提升软件系统的安全性、可靠性和正确性。其团队由这一领域的先驱与领导者组成。
运行时验证 runtime verification 是一种动态软件分析方法，可在程序执行时对其进行分析、观察执行结果，并使用这些结果查找错误。
运行时验证 runtime verification 比传统的形式分析技术更轻量级，也不意味着取代传统的基于单元的、功能和集成测试，甚至是轻量级的静态分析工具。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。