CoqでV&V
出典: Coq.io
本体
画面に"What is your name?"と出力して入力を促し,ユーザーが”Yagawa”と入力すると"Hello Yagawa!"と出力するプログラム:
本体の形式的検証
ページリビジョン: 12, 最終更新日時: 27 Jun 2017 05:44