模型校验的英文翻译
中文:模型校验
英文翻译:【化】 model checking