4 ms·
Not really. Formal verification methods are mathematically rigorous. They can mathematically prove or disprove correctness of programs and catch bugs that would
by chimpburger 7y ago
Not really. Formal verification methods are mathematically rigorous. They can mathematically prove or disprove correctness of programs and catch bugs that would be extremely difficult for a human to find https://en.wikipedia.org/wiki/Formal_verification https://en.wikipedia.org/wiki/Formal_verification
- youeseh 7y ago"Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior." It sounds a lot like writing your specs as tests that are then satisfied by the implementation code.
- deleted 7y ago[deleted]
- chimpburger 7y agoTLA+ is for building and verifying a formal model of the program (a blueprint), not for verifying the implementation.