2 ms·
you can do those things under the assumption "the compiler is correct". That still very much counts as formal verification.
by rocqua 5y ago
you can do those things under the assumption "the compiler is correct".
That still very much counts as formal verification.