Mercurial > hg > Members > ryokka > HoareLogic
comparison Todo @ 96:e152d7afbb58
add readme
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 08 Apr 2023 07:49:41 +0900 |
parents | 575b849cab1a |
children |
comparison
equal
deleted
inserted
replaced
95:4c93248d5ec6 | 96:e152d7afbb58 |
---|---|
1 Sat Apr 8 07:48:50 JST 2023 | |
2 | |
3 Invariant と 実際の入力をわけない | |
4 | |
1 Sun Dec 16 07:32:06 JST 2018 | 5 Sun Dec 16 07:32:06 JST 2018 |
2 | 6 |
3 Gears の方に term condition を入れる | 7 Gears の方に term condition を入れる |
4 initial condition に変数を入れる (証明でしか計算できないようにするため) | 8 initial condition に変数を入れる (証明でしか計算できないようにするため) |
5 Gears 側の証明をメタ計算的にする | 9 Gears 側の証明をメタ計算的にする |