Yes, very helpful, thank you! I'd like to see methods like this go mainstream. The prevalent view these days seems to be that software construction begins and e

Yes, very helpful, thank you! I'd like to see methods like this go mainstream. The prevalent view these days seems to be that software construction begins and ends with unit tests... I don't know how Uncle Bob and his ilk managed to drown out all of the other approaches to construction, but it's always bothered me that even lightweight approaches to verification (like Design by Contract) haven't gotten the same traction. (I suspect it's because formal verification involves more requirements gathering and design work up front, but a lot of teams short-change that because "we're doing agile!!") Anyway, thank you for putting this out there. I took a look at your first couple of chapters on Safari and your treatment of the subject is much more approachable to me than the wall of math I encountered in Leslie Lamport's stuff.