Список используваемой литературы:
1)https://ru.wikipedia.org/wiki/Проверка_моделей
2) http://bookzooka.com/book/192-dokazatelstvo-pravilnosti-programm-konspekt-lekcij-veretelnikova-el/14-24-metod-induktivnyx-utverzhdenij.html
3) http://oplib.ru/informatika/view/215744_metody_dokazatel_stva_pravil_nosti_programm