Explore projects

A version of the tool ZAAMA which is adapted to be able to verify cache coherence protocols with trace filters.

constrained monotonic abstraction for counter machines

School work for the course TNCG15 at LiU Norrköping.

Multicore & GPU Programming

Fixed messages and services definitions from dji_osdk_ros. Plus a mapping file. And a script to generate these files.

The problem with the original definitions is that they use characters that are not allowed in constants and firldname in ROS2.

Code for the reflow oven of admittansen