Pobierz Linnk AI
•
Asystent Badawczy
>
Zaloguj się
spostrzeżenie
-
ハイパー・ホアー論理
プログラムのハイパープロパティを(証明・反証する)ハイパー・ホアー論理
ハイパー・ホアー論理は、任意のプログラムのハイパープロパティを証明または反証することができる。単一の実行に関する性質だけでなく、複数の実行に関する性質(ハイパープロパティ)も扱うことができる。
1