你知道什麼是模型檢測嗎？

室友是搞這個的，模型檢測。model check

這個和做測試的人有什麼不同的。
不過

室友是doctor奧。

估計是說搞計算機理論的。