Explore projects

Me and josgi523

Various code used by the humanoid lab at Linköping University

This is the git repo for the six labs in the course Multicore and GPU programming (TDDD56) at Linköping University.

Labs for TDDB44 Compiler Construction

constrained monotonic abstraction for counter machines

A verfier for phaser synchronization.

The tool PACMAN derives counting invariants for parameterized concurrent programs and incrementally predicate abstracts them, leveraging on a nested constrained monotonic abstraction CEGAR loop which is implemented by its sister project zaama.