关于模型检测的权威论文,介绍了模型检测的涵盖的内容！

软关于有限状态机的件形式化方法，包括模型检测，外文论文打包。