アカウント名:
パスワード:
本当に安全性を高めるなら定理証明系言語使わないとC に証明を付与する Frama-C とか ATS2 とか使って欲しい
よくわからないのだが、そういうのを使うと、夢物語だと言われていた「バグが無い(と証明された)プログラム」が作れるの?
動かないと証明されたプログラムは大概バグ無いよね
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
アレゲは一日にしてならず -- アレゲ研究家
安全性を高めるには (スコア:2, 興味深い)
本当に安全性を高めるなら定理証明系言語使わないと
C に証明を付与する Frama-C とか ATS2 とか使って欲しい
Re: (スコア:0)
よくわからないのだが、そういうのを使うと、
夢物語だと言われていた「バグが無い(と証明された)プログラム」が作れるの?
Re:安全性を高めるには (スコア:0)
動かないと証明されたプログラムは大概バグ無いよね