https://share.transistor.fm/s/f1a2ebcb
Oxide and Friends | Software Verificationpalooza
Greg and Rain from the Oxide team joined Bryan and Adam to talk about powerful methods of verifying software: formal methods in the form of TLA+ and...
and friendsoxidesoftware