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