infinitebit

For a couple of years now, I've been noticing places where I think my team could benefit from some reasonable/pragmatic application of "Formal Methods" of software design, and have been wanting to act as an advocate for…