Верификация моделей программ. Model Checking Год выпуска: 2002Автор: Э. М. Кларк, О. Грамберг, Д. ПеледИздательство: МЦНМОСтраниц: 416ISBN: 5-94057-054-2, 978-5-94057-054-7Описание В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем.
Похожие книги
Э.М. Кларк, О.Грамберг, Д.Пелед. Верификация моделей программ. Model Checking. – М.: МЦНМО, 2002. – 416 с. Edmund Clarke. Model Checking. – М.: , 2000. – 334 с. Brad Hammler. Model Checking. – М.: , 2001. – 126 с. Doron Drusinsky. Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-based Model Checking. – М.: , 2006. – 400 с. Ю.Г. Карпов. Model Checking. Верификация параллельных и распределенных программных систем (+ CD-ROM). – СПб.: БХВ-Петербург, 2010. – 552 с. М.А. Павлова, М.В. Лысогорская. Здоровьесберегающая система дошкольного образовательного учреждения. Модели программ. Рекомендации. Разработки занятий. – М.: Учитель, 2014. – 192 с. С.В. Яхонтов. Современные методы и инструменты формальных спецификаций и дедуктивной верификации императивных программ. Учебное пособие. – М.: Издательство СПбГУ, 2014. – 146 с. Андрей Законов. Применение генетических алгоритмов к генерации тестов. – М.: LAP Lambert Academic Publishing, 2011. – 68 с. Андрей Миронов. Теория функциональных программ. – М.: LAP Lambert Academic Publishing, 2014. – 176 с. Hana Chockler. Coverage Metrics for Model Checking. – М.: LAP Lambert Academic Publishing, 2011. – 144 с. Максим Меньшов und Петр Сыгуров. Перенос примеси в атмосфере:верификация модели,прикладные аспекты. – М.: LAP Lambert Academic Publishing, 2014. – 60 с. Raghavendra K. R. Model-checking infinite state systems for information flow security. – М.: LAP Lambert Academic Publishing, 2014. – 160 с. Raghavendra Kagalavadi Ramesh,Deepak D'Souza and Barbara Sprick. Model checking trace-based information flow properties. – М.: LAP Lambert Academic Publishing, 2012. – 64 с. Ashish Kumar Dwivedi. Formalization and Model Checking of Software Architectural Style. – М.: LAP Lambert Academic Publishing, 2015. – 80 с. Wei Ding. Using Model Checking to Generate Test Cases for Critical Systems. – М.: LAP Lambert Academic Publishing, 2010. – 88 с. Guido Scatena. Abstract Probabilistic Semantics for the Analysis of Bio Sys Models. – М.: LAP Lambert Academic Publishing, 2012. – 176 с. М.А. Павлова, М.В. Лысогорская. Здоровьесберегающая система дошкольного образовательной организации. Модели программ, рекомендации, разработки занятий. – М.: Учитель, 2016. – 184 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Алексей, 22.01 Марина! Спасибо Вам большое! Работа мне понравилась, изложена простым языком и присутствует анализ основных моментов темы. Защитился на отлично, используя в докладе Ваш материал. Буду рекомендовать Вас студентам и коллегам.
