アカウント名:
パスワード:
本当に安全性を高めるなら定理証明系言語使わないとC に証明を付与する Frama-C とか ATS2 とか使って欲しい
systemdに証明の機能を取り込むべきでは?
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
計算機科学者とは、壊れていないものを修理する人々のことである
安全性を高めるには (スコア:2, 興味深い)
本当に安全性を高めるなら定理証明系言語使わないと
C に証明を付与する Frama-C とか ATS2 とか使って欲しい
そこはC言語ではなく (スコア:5, おもしろおかしい)
systemdに証明の機能を取り込むべきでは?