|
libcats.org
Главная →
Model Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, ProceedingsModel Checking Software: 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, ProceedingsDragan Bosnacki, Stefan EdelkampThis book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007. The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations. Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Справочник сталкера. Азбука выживанияАлександрович В.Ч., Борисович А.П., Анатольевич И.С.Категория: Словари справочники энциклопедии
1.89 Mb
#2
Краткий справочник мифологических терминов. Справочное пособиеБондарев Ю.Категория: Словари справочники энциклопедии
374 Kb
#4
Энциклопедический справочник (Города и столицы)Категория: Словари справочники энциклопедии
479 Kb
#9
Scientists Debate Gaia: The Next CenturyStephen H. Schneider, James R. Miller, Eileen Crist, Penelope J. Boston, James Lovelock, Lynn Margulis, Pedro Ruiz Torres
3.80 Mb
|
|