Dependable Systems Lab

Please see the course README

.