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

blank
blank
blank
Красота
blank
Grumberg O. (ed.), Veith H. (ed.) — 25 years of model checking. Lecture notes in computer science 5000
Grumberg O. (ed.), Veith H. (ed.) — 25 years of model checking. Lecture notes in computer science 5000

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

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

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



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


Название: 25 years of model checking. Lecture notes in computer science 5000

Авторы: Grumberg O. (ed.), Veith H. (ed.)

Аннотация:

As tliis volume is going to print, model checking is attracting worldwide media attention, and we are celebrating the ACM Turing Award 2007 for the paradigm-shifting work initiated a quarter century ago. Today, model checking technology evidently ranges among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved multiple breakthroughs, bridging the gap between theoretical computer science, hardware and software engineering, and is reaching out to new challenging areas such as systems biology and hybrid systems. Model checking is extensively used in the hardware industry, and has become feasible for verifying many types of software as well. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide, and has become a universal tool for the analysis of systems.
This volume presents a collection of invited papers based on talks at the symposium u25 Years of Model Checking (25MC)." In addition, we have included facsimile reprints of the two visionary papers on model checking by Edmund Clarke, Allen Emerson, Jean-Pierre Queille, and .Joseph Sifakis. The 25MC syni|>osium was part of the 18th International Conference on Computer Aided Verification (CAV), which in turn was part of the Federated Logic Conference (FLOC) 200G in Seattle. The program was complemented by a panel on "Verification in the Next 25 Years" organized by Limor Fix.


Язык: en

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Alur, Rajeev      89
Bryant, Randal E.      145
Chatterjee, Krishnendu      107
Clarke, Edmund M.      1 196
Dill, David L.      77
Emerson, E. Allen      27 196
Fix, Limor      139
Groce, Alex      65
Henzinger, Thomas A.      107
Holzmann, Gerard J.      65
Joshi, Rajeev      65
Kurshan, R.P.      46
Pnueli, A.      172
Queille, J.P.      216
Sifakis, J.      216
Vardi, Moshe Y.      150
Zaks, A.      172
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте