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