Jessitron & Avdi Learn About Alloy A dive into formal model checking, plus a bonus cocktail recipe Read More Collaborations Videos April 21, 2020
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. Read More Articles March 20, 2020