FMG (Formal Method Group) at NIT Meghalaya