Архив форумов ЦИТФорума

[GREA]

Помогите, люди добрые, расскажите, как формально верифицировать программу или напишите ссылочку (за 3 часа росиживания в интренете ни одной нормальной не нашел).
Это срочно нужно по университету (для зачета).
Сама прога на PDL:
a:=x b:=y
do
while a>b do a:=a-b od
while b>a do b:=b-a od
until a=b
od

заранее БОЛЬШОЕ СПАСИБО.

[SkaTLanDer]

-