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