CSI 5174 - Validation Methods for Distributed Systems | University of Ottawa | Study Rat | Study Rat