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