CoqでV&V

出典: Coq.io

本体

画面に"What is your name?"と出力して入力を促し,ユーザーが”Yagawa”と入力すると"Hello Yagawa!"と出力するプログラム:

本体の形式的検証


親: 3.V&V
兄弟姉妹:

子:

RedditYahooMyWebFacebook

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License