Utterly Unpersuasive: Formal Methods and Law (2019)
As someone who hacks on code but doesn&#x27;t have a true computer science or math background, I have a hard time even wrapping my head around what the hell &quot;formal methods&quot; are. How can you write proofs that a whole piece of software works? Especially since software is often compromised of tons of different libraries and frameworks etc.<p>I could understand proving a certain piece, like a specific algorithm, but how are formal methods better than unit tests?<p>I think my brain is just too small to understand. It feels to me, as a relative layman, like pablum.