CS361 : Formal Models and Systems