Formal Method – Honey Trap