Bisimulation: Mention satisfaction of TxConstraints
Closed this issue · 0 comments
omelkonian commented
- For soundness, this is trivial (since we are using
constrain tx= tx), which contains the proof(verifyTx tx tx≡ ≡ true).
Closed this issue · 0 comments
constrain tx= tx), which contains the proof (verifyTx tx tx≡ ≡ true).