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