Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Ezio Bartocci · C. R. Ramakrishnan

05.2013 г. · Springer

Електронна книга

377

Страници

Всичко за тази електронна книга

This book constitutes the refereed proceedings of the 20th International Symposium on Model Checking Software, SPIN 2013, held in Stony Brook, NY, USA, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques are still of key interest to the workshop, its scope has broadened over recent years to include techniques for the verification and formal testing of software systems in general.

Открийте още

Оценете тази електронна книга

Кажете ни какво мислите.

Информация за четенето

Смартфони и таблети

Инсталирайте приложението Google Play Книги за Android и iPad/iPhone. То автоматично се синхронизира с профила ви и ви позволява да четете онлайн или офлайн, където и да сте.

Лаптопи и компютри

Можете да слушате закупените от Google Play аудиокниги посредством уеб браузъра на компютъра си.

Електронни четци и други устройства

За да четете на устройства с електронно мастило, като например електронните четци от Kobo, трябва да изтеглите файл и да го прехвърлите на устройството си. Изпълнете подробните инструкции в Помощния център, за да прехвърлите файловете в поддържаните електронни четци.

Сигнал за неподходящо съдържание