How to solve this hoare logic ?
{x≥0 && y≥0 } q :=0 ; r :=x ; while r≥y do r :=r-y ; q :=q+1 ; {y≥0 && x≤ 300}
{n≥1} p :=0 ; i :=1 ; while (i≤
