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