Question

我正在学习正式验证，我应该使用UPPAAL，我是新手。但是，每次我启动UPPAAL时，都会遇到以下错误：

environment=LANG="%(locale)s",LC_ALL="%(locale)s",LC_LANG="%(locale)s"

有没有办法解决这个错误？我在64位计算机上使用Ubuntu 12.04作为我的操作系统。我查看了以下帖子，但由于我是UPPAAL的新手，我无法找到解决方案：

在这方面，任何帮助都会受到赞赏！

Answer 1

我在Windows 10上遇到了同样的问题，我认为@mariusm是正确的。我下载了更高版本的UPPAAL（即4.1.19），问题不再存在。