Книга: Э. М. Кларк, О. Грамберг, Д. Пелед «Верификация моделей программ. Model Checking»
|
Производитель: "МЦНМО" Серия: "Весь Мир Знаний" В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем. ISBN:978-5-94057-054-7 Издательство: "МЦНМО" (2002)
ISBN: 978-5-94057-054-7 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Верификация моделей программ. Model Checking | В монографии всемирно известных специалистов в области математической логики и теории вычислений… — МЦНМО, (формат: 60x90/16, 416 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
Проверка моделей — (проверка на модели, англ. model checking) метод автоматической формальной верификации параллельных систем с конечным числом состояний. Позволяет проверить удовлетворяет ли заданная модель системы формальным спецификациям. В качестве… … Википедия
Верификация — Позитивизм … Википедия
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения. Предложена А. А. Шалыто в 1991 году [1].… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Модель Крипке — (англ. Kripke structure) это один из вариантов недетерминированного конечного автомата, который был предложен Солом Крипке. Этот вид НКА применяется при проверке моделeй для представления поведения системы. Модель Крипке является простой… … Википедия
Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus истинный, facere делать) это подтверждение соответствия конечного продукта предопределённым эталонным… … Википедия
