Прикладные методы верификации программ

📖 Излагаются основы методологии верификации программ и позиций ее практического использования в процессе разработки программ на алгоритмических языках высокого уровня. Автоматизация наиболее трудоемких этапов верификации программ. Изложение иллюстрируется примерами верификации программ из различных областей. Для программистов: может быть полезна инженерам, специализирующимся в области вычислительной технике и прикладной математики.