During my stay at NICTA Canberra Research Lab, I had the opportunity of working under the supervision of Jussi Rintanen and Alban Grastien on my project on automated verification and configuration of computer networks.

This page collects the outcome of the project, in particular the prototype NetSAT that solves the network configuration problem using SAT.

Documentation

Software

NetSAT (201104)