你知道什么是模型检测吗？

室友是搞这个的，模型检测。model check

这个和做测试的人有什么不同的。
不过

室友是doctor奥。

估计是说搞计算机理论的。