模型校验的英文翻译

中文:模型校验

英文翻译:【化】 model checking