【後編】モデル検査入門【作ってみよう】
- 2022/08/04 17:35:02 投稿
- 再生数：68
- マイリスト数：0
前編 → sm40864910 少し風邪気味です。音声が聞き取りづらい箇所があり，申し訳ないのです。プログラムの検証をするための手法の一つをご紹介します。ソースコードと講義資料： https://github.com/yukatayu/model_checking_example 【お問い合わせ等】twitter： https://twitter.com/yukata_yu
前編 → sm40864910 少し風邪気味です。音声が聞き取りづらい箇所があり，申し訳ないのです。プログラムの検証をするための手法の一つをご紹介します。ソースコードと講義資料： https://github.com/yukatayu/model_checking_example 【お問い合わせ等】twitter： https://twitter.com/yukata_yu