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