4 ms·Exactly. It does not mean your formal specification is correct (of the code and what it should do).by johnisgood 1y agoExactly. It does not mean your formal specification is correct (of the code and what it should do).