标签： formal-verification model-checking formal-methods uppaal
有时在UPPAAL中我找到了一个整数变量的例子，它取两个值，如 int x：= 1-0，这究竟是什么意思？像x先取“1”然后取“0”或X只是两个值的数组？
谢谢