Explore projects

Fork of Eclipse TRACE4CPS™ to work on enhancements of the runtime verification features for my Master's thesis.

⚠️ Changes are in the thesis branch!

Trace4cps project

Sphinx project

Papyrus for Robotics

Papyrus for Designer