Matt, do you have experience with Formal checking ala TLA+? This is something there are not many articles written on.
I do not. I'll have to look into it. Sounds up my alley.
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.