Uppaal Models

The UPPAAL Models can be found at the following repository: https://github.com/ljdust/Pattern-Based-Verification-of-ROS-2-Nodes-using-UPPAAL 

Two Versions of the Models are available at different branches.

Main: FMICS 2023 Paper

STTT: STTT Journal Article