Uppaal

開発元 
2つの大学の共同事業 
 Uppsala University, Sweden 
 Aalborg University in Denmark.

 脚注 

参考文献
 UPPAALを用いたLEGO mindstorms EV3制御プログラムの合成 ,荒川 洸. 結縁 祥治,ソフトウェアサイエンス, 電子情報通信学会技術研究報告,電子情報通信学会, 114(271):2014.10.23・24,ページ41-46,ISSN 0913-5685
 UPPAALによる性能モデル検証 = Performance Model Verification by UPPAAL : リアルタイムシステムのモデル化とその検証 , 大須賀昭彦 監修 ; 長谷川哲夫, 田原康之, 磯部祥尚 著., 近代科学社, 2012.9. ISBN	978-4-7649-0431-6 

 外部リンク 
 Home | UPPAAL - 学術用
 Inc - uppaal.com - 商用

Category:システムソフトウェア
Category:プログラミング言語
Category:モデルチェッカ