10 Sep 2019 48字 1分次数理逻辑 CC BY 4.0（除特别声明或转载文章外）

通过模型检测进行验证

通过模型检测进行验证这个方法我还没有遇见，在我们的验证中是否使用也不得而知。