SOEN-331 Assignments done for SOEN 331: Formal Methods in Software Engineering in the Fall 2022 semester Partner: MarwaKhalid