3 ms·
It won't boost my career, but if I had 100 hours I would spend my time learning formal methods for software development probably going through this course: http
by commandersaki 2y ago
It won't boost my career, but if I had 100 hours I would spend my time learning formal methods for software development probably going through this course: https://www.cs.toronto.edu/~hehner/FMSD/ https://www.cs.toronto.edu/~hehner/FMSD/ .
- sn9 2y agoOh man I was literally googling stuff like this last night. Did you know there were verification competitions? [0] [0] https://alastairreid.github.io/verification-competitions/ https://alastairreid.github.io/verification-competitions/