libcats.org
Главная

Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s

Обложка книги Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s

Theoretical and Practical Aspects of SPIN Model Checking, 5 and 6 conf.s

, , ,
This book constitutes the refereed proceedings of the 5th and 6th international SPIN workshops on SPIN Model Checking, held as a satellite workshop of the Federated Logics Conference, FLoC'99, in Trento, Italy, July 1999, and as a user group meeting at the Formal Methods World Congress, FM'99, in Toulouse, France, in September 1999 respectively. Finite-state model checking, as it is supported by the explicit-state model checker SPIN, is enjoying constantly increasing popularity in automated property validation of concurrent, message based systems. This book presents up-to-date research results centered around SPIN as well as valuable surveys and summaries of application experience.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Pro Access 2007

Автор:
Размер книги: 4.83 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb

Oracle DBA on UNIX and Linux

Автор:
Размер книги: 10.21 Mb

On the Construction of Artificial Brains

Автор: , Автор:
Размер книги: 36.60 Mb

Времена года

Автор:
Категория: Поэзия
Размер книги: 373 Kb