UPPAAL是一個集成的工具環境，被用來對被轉換時間自動機網路模型的實時系統進行建模、校驗和驗證。 基本介紹 中文名：Uppaal是：一個集成的工具環境學術為目的：免費得到商用：支付一定的費用 它是由瑞典Uppsala 大學的信息技術學院和丹麥Aalborg大學的計算科學學院聯合開發的。當前官方的發布版本為 Uppaal 4.0.13（2010年）。以學術為目的的話，該工具可以免費得到，若是商用的話則需要支付一定的費用。
