MS/Thesis:Formal Verification of Internet Worm Propagation Model - Razzaq Misbah (Islamabad RCMS NUST, 2015)