5 ms·
The value of a formal specification is the ability to reason about a program without having to compile and run it (using a specific implementation).
by augustk 4y ago
The value of a formal specification is the ability to reason about a program without having to compile and run it (using a specific implementation).
- vistro 4y agoGood luck reasoning about C++ code. After all static analysis, sanitizers and whatever dynamic analysis, you still cannot be really sure that your code will blow up with undefined behavior.