Is there any paper and open source code for validation with UPPAAL

[anuli1234566777765768]

Is there any paper and open source code for validation with UPPAAL？

[mikucionisaau]

There are many papers: see publications in the Documentation section.
In particular:

• Tutorial on Uppaal
• Uppaal SMC Tutorial

Validation (as in "does this model behave as I expect") is done informally using Simulator tabs in the Uppaal GUI.

Uppaal is not open source, but several components (parser, Difference Bound Matrices, Clock Difference Diagrams, trace interpreter) are published as open source libraries and tools.