• 正體: 模型檢查[電子計算機]