I’m trying to wrap my head around why formal verification is useful.
I’ve read that it reduces vulnerabilities in code, but I’m puzzled by how it can do that.
My understanding is you write a specification in another language that you can use to test your implementation for conformity to the spec, but to me that alone wouldn’t make code better.
What am I missing? Or is that the whole picture?
I’ve read that multilingual people tend to be more logical, is the idea behind formal methods the same? Is it as simple as writing the same problem in two languages forcing you to think about the problem clearer?
Source: Read More
