What's the meaning of the $\top$ symbol in a Hoare triple?
-
04-11-2019 - |
문제
I'm studying program verification and came across the following triple:
$$ \{\top\} \;P \; \{y=(x+1)\} $$
What's the meaning of the $\top$ symbol on the precondition? Does it mean $P$ can take any input?
올바른 솔루션이 없습니다
제휴하지 않습니다 cs.stackexchange