Explore projects

An automatic code review tool for student Java assignments.

The project simulates TCP models learned as part of the learning & model checking TCP work.

Guide for installation of VNWA on linux.