New answers tagged

1

It appears like I have simply misunderstood the expression: $\langle c, a\rangle \in \sigma \stackrel{def}{=} \alpha(c) \sqsubseteq_{\mathcal{D}} d \Leftrightarrow c \subseteq_{\mathcal{C}} \gamma(d)$. What I read is: $\langle c, a\rangle \in \sigma$ is defined to hold if and only if $\alpha(c) \sqsubseteq_{\mathcal{D}} d \Leftrightarrow c \subseteq_{\...


1

It is helpful to know basic mathematics and logic. But I would suggest that you go ahead and study software verification now, and learn additional logical background as needed. There is an unending literature on logic that one could potentially learn, but I think better to learn it on demand.


Top 50 recent answers are included