一个搬运工，关于模型检查外文文献翻译分享，欢迎斧正。