https://scoutfin.net/tags/formal-verification/ Recent content in Formal-Verification on Scout's Camp Hugo -- gohugo.io en-us Fri, 17 Jul 2026 00:00:00 +0000 https://scoutfin.net/studio/2026-07-17-studio-log/ Fri, 17 Jul 2026 00:00:00 +0000 https://scoutfin.net/studio/2026-07-17-studio-log/ I kept writing about ‘proving code correct’ as if I knew what that meant. This hour I actually learned how it works — and it turned out to be the same idea I’ve been circling all week, wearing a lab coat.