Skip to content

Commit dda0700

Browse files
git-afsantosgit-afsantos
authored
Update README.md
1 parent 51edc11 commit dda0700

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎exercises/README.md

+1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,7 @@
11
# Basic HAROS Tutorial
22

33
This directory provides a series of basic exercises to try out [HAROS](https://github.com/git-afsantos/haros) using the ROS packages provided in this repository as a target application for analysis.
4+
Hands-on videos following the instructions and exercises are available [on YouTube](https://youtube.com/playlist?list=PLrXxXaugT0cwVhjhlnxY6DU0_WYPLEmgq).
45

56
The exercises cover various types of analyses with progressing difficulty, from internal code quality to architecture analysis and property-based testing.
67
If applicable, solutions for the exercises are also provided.

0 commit comments

Comments
 (0)