Explore projects

Instructions for the support for doing Swarm Experiment with UAVs.

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.

tdde47 pintos labs :)

This repository contains the course material in the TNK116 course.