if the following are true:
the PC at time 0 = 0
instruction #0 is `load dst=7 addr=6 imm=0`
instruction #1 is `load dst=8 addr=6 imm=1`
instruction #2 is `load dst=9 addr=6 imm=2`
value of cell 3 at time 0 = 13
value of cell 4 at time 0 = 11
value of cell 5 at time 0 = 20
value of cell 6 at time 0 = 3
then value of cell 8 at time 3 = 11

View as a table | Try proving it

Start from the conclusion and work back up the proof. Click the arrow to show the parents.