The EE degree is only there to make you employable as an EE. You'll have to teach yourself formal methods on your own. That's why it's a way to stand out.
"You have to teach yourself on your own" is always a good idea, but it would be an immense waste of time not to use the classes that your educational institution provides. Double majoring exists specifically for this purpose.