Add UPPAAL automated verification toolchain to PE2 guideline#34

rdinizcal wants to merge 3 commits intoros-rvft:mainros-rvft/ros-rvft.github.io:mainfrom

rdinizcal:update/uppaal-toolchain-pe2rdinizcal/ros-rvft.github.io:update/uppaal-toolchain-pe2Copy head branch name to clipboard