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

Labs of Web Programming

A UE5 project designed to visualize weather-data from the Swedish Meteorological and Hydrological Institute.

Här sparas kod öppet

Multiplayer physics based arena brawling game

Internetworking course