model checking

模型校驗

學術名詞

• 模型檢查：資訊