|
|
libcats.org
Model Checking of Software, 9 confDragan Bosnacki, Stefan LeueThis book constitutes the refereed proceedings of the 9th International SPIN Workshop on Model Checking Software, held in Grenoble, France in April 2002 as a satellite event of ETAPS 2002. The 10 revised full research papers presented together with the abstracts of four invited papers or tutorials, three reports on work in progress, three invited industrial presentations, and four SPIN model checking tool descriptions were carefully reviewed and selected from 20 submissions. The book presents state-of-the-art results on the analysis and verifications of distributed and concurrent systems using the SPIN model checker as one of the most powerful and popular such system.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Только что пользователи скачали эти книги:
Power Sales Words: How to Write It, Say It And Sell It With SizzleАвтор: Vicky OliverКатегория: business_job
Размер книги: 799 Kb
99 Points of Intersection: Examples-pictures-proofsАвтор: Hans Walser, Автор: Jean PedersenКатегория: M_Mathematics, MSch_School-level
Размер книги: 1.52 Mb
Living Catholic Faith in a Contentious AgeАвтор: Raymond G. Helmick, Автор: James F. Keenan
Размер книги: 588 Kb
e-Research Collaboration: Theory, Techniques and Challenges (Theory Techniques and Challenges)Автор: Murugan Anandarajan
Размер книги: 3.61 Mb
The Economics of International TransfersАвтор: Steven Brakman, Автор: Charles van MarrewijkКатегория: Экономика
Размер книги: 728 Kb
Българските кортици / Bulgarian DirksАвтор: Тодор ПредовКатегория: КНИГИ ВОЕННАЯ ИСТОРИЯ
Размер книги: 91.93 Mb
Die Inschriften von Zincirli: Neue Edition und vergleichende Grammatik des phönizischen, sam'alischen und aramäischen TextkorpusАвтор: Tropper, Автор: Josef
Размер книги: 83.67 Mb
|
|
|