Do the functions of UPPAAL 5.0 include those of UPPAAL tiga?

[anuli1234566777765768]

UPPAAL tiga version not running on windows? No .exe file?

[mikucionisaau]

The image does not load for me, so I do not see it.

UPPAAL 5 verifier includes TIGA queries, but the concrete simulator cannot play games yet (only simulate).

[anuli1234566777765768]

Thank you very much for your reply! May I understand that for the same .xml file, the results of the validator of UPPAAL and the validator of UPPAAL tiga are the same?
Because the UPPAAL tiga version doesn't run on windows because there is no .exe file.（see fig

） Can you send me a zip file of UPPAAL tiga that can be operated on windows?

[anuli1234566777765768]

[mikucionisaau]

uppaal.exe is just a launcher added in recent years.

For earlier releases just double-click uppaal.jar (assuming that Java runtime is installed with jar associations).