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