3 ms·
Exactly :) And a proof that the spec is correct. But without formal verification both your spec and the implementation may be incorrect.
by pka 10y ago
Exactly :) And a proof that the spec is correct.
But without formal verification both your spec and the implementation may be incorrect.