Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Godefroid P. — Lecture Notes in Computer Science (1032). Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
Godefroid P. — Lecture Notes in Computer Science (1032). Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Lecture Notes in Computer Science (1032). Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem

Автор: Godefroid P.

Аннотация:

This monograph is a revised version of the author's Ph.D. thesis, submitted to the University of Li?ge, Belgium, with Pierre Wolper as thesis advisor. The general pattern of this work, is to turn logical and semantic ideas into exploitable algorithms. Thus, it perfectly fits the modern trend, viewing verification as a computer-aided activity, and as algorithmic as possible, not as a paper and pencil one, dealing exclusively with semantic and logical issues. Patrice Godefroid uses state-space exploration as the key technique, which, as such or elaborated into model checking, is attracting growing attention for the verification of concurrent systems. For most realistic examples, the methods presented provide a significant reduction of memory and time requirements for protocol verification.


Язык: en

Рубрика: Computer science/

Тип: Журнал Lecture Notes in Computer Science

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1996

Количество страниц: 141

Добавлена в каталог: 07.08.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте