Google 
Аннотация: Введение в формальные методы верификации программ. 2-е изд., испр
Книга основана на курсах лекций по формальным методам верификации программ, читаемых автором на кафедрах системного программирования МГУ, МФТИ и ВШЭ. Список тем включает: методы формализации семантики языков программирования (операционная и аксиоматическая семантика), методы формальной спецификации требований (программные контракты и темпоральная логика линейного времени), методы доказательства корректности программ (метод индуктивных утверждений и метод фундированных множеств) и методы проверки моделей (теоретико-автоматный подход в явной и символической формах); затрагиваются вопросы абстрактной интерпретации, разрешения ограничений, применения формальных методов в тестировании; даются сведения об инструментах Frama-C/AstraVer, Spin и SMV. Каждая глава сопровождается примерами и упражнениями. Книга предназначена для студентов и аспирантов программистских специальностей, а также преподавателей и исследователей в области информатики и программной инженерии.| Издательство | ДМК Пресс |
| Автор/составитель | Камкин Александр Сергеевич |
| Год выпуска | 2024 |
| Кол-во страниц | 304 |
| ISBN | 978-5-93700-340-9 |
| Обложка | переплет-твердая обложка |
| Вес | 631г |
| Формат | 17 x 25 cm |
| Тираж | 100 |
| Возрастная категория | 16+ |
