Jessitron & Avdi Learn About Alloy
A dive into formal model checking, plus a bonus cocktail recipe
Edsger Dijkstra and the TSA school of software correctness
A point of view focused on prevention, and on categories of error we already understand, will necessarily shortchange the tools and methods for approaching brand new new surprises as they happen.