プログラム検証
→
形式検証
定理証明
$ \subset
プログラム検証
Why3
確認用
Q. プログラム検証
参考
関連
調査用
/pogi-log/Google.icon
プログラム検証
/pogi-log/Wikipedia.icon
プログラム検証 - Wikipedia(日)
プログラム検証(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
プログラム検証 - Wikipedia(英)
プログラム検証(検索) - Wikipedia(英)
#Fleeting_Notes