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

Här sparas kod öppet

Multiplayer physics based arena brawling game

Internetworking course

Winter wonderland project in TSBK07

Rail shooter game made for the project course TSBK07 2020.