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