hildebrandt-carl/SpinROS

This is my testing verification and analysis final project. The aim was to develop a spin model of ROS's communication protocol.

Promela