Beweisen Sie die Korrektheit von A1 mittels einem geeigneten Hoare-Tripel.

Question

A1 :

K <---- n

t <----- 2

c <----- 0

while k/2 => t do

 if k mod t = 0 then

       c<---- c +1

 fi

 t <---- t +1

od

Beweisen Sie die Korrektheit von A1 mittels einem geeigneten Hoare-Tripel.