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