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
Winter wonderland project in TSBK07
Rail shooter game made for the project course TSBK07 2020.