Formal verification is one of the hardest things in software engineering. You need fluency in a proof assistant, deep understanding of invariant discovery, and months - sometimes years - of dedicated effort. This expertise barrier has limited formal verification to a handful of well-funded teams working on a handful of high-value targets. Formal verification is … Continue reading Lean Squad: Exploring Automated Software Verification with Near-Zero Human Labour →