تنزيل Linnk AI
•
مساعد بحث
>
سجل دخولك
رؤى
-
ハイパー・ホアー論理
プログラムのハイパープロパティを(証明・反証する)ハイパー・ホアー論理
ハイパー・ホアー論理は、任意のプログラムのハイパープロパティを証明または反証することができる。単一の実行に関する性質だけでなく、複数の実行に関する性質(ハイパープロパティ)も扱うことができる。
1