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

[GREA]

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

[GREA]

Почему-то обрубило кусок проги!!?
Вот полностью:
a:=x b:=y
do
while a>b do a:=a-b od
while b

[GREA]

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

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

[fplab]

Э.Дейкстра "Дисциплина программирования"
Д.Грис "Наука программирования"

[fplab]

http://stud.math.rsu.ru/deikstra/

[GREA]

-