在代币规模，Runtime verification 开拓了 ERC-20 和 ERC-777 代币尺度的 K-形式化标志版本，是行业中第一个可以答允形式化验证的代币尺度。
缺点：
资料来历：官方文档及官方 Medium、Twitter。声明 : EVALUAPE 只基于项目方提供的果真资料举办评估，并差池项目举办估值及投资发起。因此，EVALUAPE 的评估陈诉并不组成投资意见，差池用户投资认真。
与很多顶级公链平台已成立相助干系
Runtime Verification Inc 是一家初创公司，利用执行期验证技能对公链虚拟机和智能合约举办安详性审计，通过利用本身研发的动态阐明验证技能致力于提高和区块链规模的软件系统的安详性，靠得住性和正确性。
BTC 地点 :162Cnh4gLGxvfBzpGoJ6JYZBbYHncJeDaN社区生态（6/10）
Runtime Verification 的 Twitter 有 1172 个粉丝， 社区打点员在 reddit 上的以太坊版面较为活泼。 近期团队仅介入过 Devcon 勾当，以及一些小型学术集会会议， 没有在此外大型币圈勾当上曝光过。 因此， Runtime Verification 对比 Certik 的知名度要低得多。
对比与 Certik 等直接对源代码举办形式化验证， Runtime Verification 通过对 EVM 等虚拟机举办 K-形式化标志，因此可以直接对编译后的二进制码举办验证，对比传统的形式化验证手段，进一步担保了编译器的安详性。 Runtime Verification 开拓了三大东西， 别离称为 RV-Match， RV-Predict 和 RV-Monitor。RV-Match 是一个基于语义的纠错器及动态范例查抄器。 RV-Predict 是一个动态数据竞争的检测器，不会呈现假警报且最全面地找到大概的所有数据竞争。 RV-Monitor 是一个执行期的监测东西，可以检测和施行所有担保执行期安详的性质。 通过这三大东西， 可以较全面地包围到执行期呈现的很多 bug。
媒体曝光少，知名度仍较低
在虚拟机规模， Runtime verification 与 IOHK 相助开拓了 IELE 虚拟机，是以太坊虚拟机的一次重要进化。 它证明白以太坊虚拟机通过 K-形式化标志后，可以自动生成一个「足够快」的虚拟机。
技能 （8.5/10）今朝，针对区块链行业， Runtime Verification 提供以下业务的办理方案 : 智能合约审计、共鸣机制、虚拟机、代币等。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
