Formal Methods for System Verification - Week 7 Assignment Solutions | SwayamSolver