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
- Final Report
- NetSAT Project Overview : presented at
TU-Dresden (September 2011)
- NetSAT Short Overview: presented
at EMCL Workshop'11 (February 2011)
- NetSAT foundations : presented at NICTA (September 2010)
Software
NetSAT (201104)