UPPAAL是一个集成的工具环境，被用来对被转换时间自动机网络模型的实时系统进行建模、校验和验证。