运行时验证 (rv) 工具

rv 工具为运行时验证 (rv) 监视器集合提供接口。