Прикладные методы верификации программ В. А. Непомнящий, О. М. Рякин

Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей. Для программистов: может быть полезна инженерам, специализирующимся в области вычислительной технике и прикладной математики. Это и многое другое вы найдете в книге Прикладные методы верификации программ (В. А. Непомнящий, О. М. Рякин)