|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Yurii Komov 2:5020/400 17 Apr 2003 15:49:01
To : Boris Sivko
Subject : Доказательство правильности ПО
--------------------------------------------------------------------------------
BS> Ищется любая информация по сабжу. Если кто интересовался данным
BS> вопросом на серьёзном уровне, откликнетесь плз.
Помнится, я писал в институте диплом "Доказательство правильности программ" -
и программу, которая брала 2 простенькие программы (исх. тексты) и доказывала,
что при любых исх. данных результат одинаков
Самым "замечательным" результатом было то, что она доказала, что сортировка
массива из 4-х элементов методом пузырька эквивалентна сортировке методом
выбора макс. элемента
Когда задал длину массивов 5 - проработала больше суток, и я ее вырубил
Процессор был тогда - Pentium133, что ли...
Если надо - могу выслать и сам диплом и исходник программы (C++), хотя навряд
ли :-)))
Принцип там был такой - каждый Readln считался за входную переменную, Writeln
- за выходную, а в каждом If, While, For и т.п. анализировала обе ветви
Юрик
--- ifmail v.2.15dev4
* Origin: FidoNet Online - http://www.fido-online.com (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
