インターネットの書き換えは今や難しくありません。難しいのは、正しく動作しているかどうかです。 コードが正確であることを確かめるために正式な検証が必要です。