Learn TLA+. I have been doing the usual things for software verification like reviewing PRs, writing tests, but these are all after implementation. As a senior engineer doing more design work, I am wondering if I can do some sort of verification at the design stage. Not sure how much I can apply TLA+ to regular enterprise software development, but I want to explore.
No comments yet.