Базис стандартной и рекурсивной схемы. Верификация программы
Базис класса стандартных схем программ. Стандартная схема в линейной форме. Протокол выполнения программы рекурсивной схемы. Слабейшие предусловия операторов программы в линейной форме. Верификация программы с помощью метода индуктивных утверждений.
09.11.2010 |
Теория вычислительных процессов |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 70
