呢個過程包括檢查個模型啲源碼做嘅運算係咪同預想中嘅演算法相同，仲有係睇嚇用個模型計出嚟嘅結果係咪合符用解析解得出嘅結果（如果個模型模擬嗰樣現象係有可能用解析解計嘅話）。