3 ms·It is the "correct by construction" approach vs the "construct by correction" approach.by tasty_freeze 2y agoIt is the "correct by construction" approach vs the "construct by correction" approach.