Post #1546577

@Filip0x0A most modern mathematics is not all that useful, although of course being conversant with proofs is good. the part of math that's most immediately useful is logic -- propositional, predicate, etc. luckily most universities have good courses on that stuff! and then I think the main thing is to just use the formal methods tools, and read cases where they've been used successfully.