运行时验证的英文翻译

中文:运行时验证

英文翻译:【计】 run time verification