B4　／　模型化基礎設計於證明、驗證、測試和的最佳實務

Jerry Tung, TeraSoft Inc.

我們介紹使用模型化基礎設計進行驗證、有效性檢測和測試方面的新技術和工具之最佳做法，本演講內容涵蓋驅動的模擬模型測試和形式為基礎的方法，進行建模型和程式碼驗證。