avdi.codes: formal methods

Collaborations Videos

Jessitron & Avdi Learn About Alloy

Posted on April 21, 2020April 21, 2020 by Avdi Grimm1

TSA Notice of Baggage Inspection

Edsger Dijkstra and the TSA school of software correctness

Posted on March 20, 2020March 20, 2020 by Avdi Grimm

Success message!

Warning message!

Error message!