Tibo@thsottiaux
数千万行のコードに対する形式証明はもう荒唐無稽な話じゃないし、新しいシステムを設計するときに考えるべき範囲に入ってる。
Formal proofs of tens of millions of lines of code are not a ridiculous thing anymore and within the realm of what should be considered when designing new systems.Formal proofs of tens of millions of lines of code are not a ridiculous thing anymore and within the realm of what should be considered when designing new systems.