God. I did all this years ago, even wrote a masters thesis on formal verification. And I can actually not remember a single time when this was actually useful, other than perhaps really obnoxious interviews. Don't get me wrong, it's interesting, and if you get through this and understand the matter it will make you a better computer scientist. But it's really not very applicable at all.
It's the computer science analog to latin for modern day languages... Perhaps less than.
It's the computer science analog to latin for modern day languages... Perhaps less than.