Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
在Uppaal，有没有办法知道有多少状态存在作为位置和变量的组合