static verification using correctness arguments
始用正确参数的静态验证( Static verification using correctness arguments) 决定程式可靠度的统计测试(Statistical testing to determine program reliability)
基于12个网页-相关网页
static verification using correctness arguments
使用正确性参数的静态验证
以上为机器翻译结果，长、整句建议使用 人工翻译 。