Runtime Verification 是什么？

Runtime Verification（RV）是一种动态软件分析技术，用于在程序执行过程中进行监控，以确保其符合指定属性并检测漏洞。在区块链中，RV 对于提升智能合约和虚拟机的安全性与可靠性至关重要。