|
|
libcats.org
Model Checking Software, 15 confKlaus Havelund, Rupak Majumdar, Jens PalsbergThis book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008. The 17 revised full papers presented together with 1 tool paper and 4 invited talks were carefully reviewed and selected from 41 submissions. The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
ПомойникАвтор: Терехов Борис ВладимировичКатегория: Ужасы и Мистика, Триллер
Размер книги: 1.08 Mb
Кен ХендерсонАвтор: Профессиональное руководство по SQL Server: хранимые процедуры, Автор: XML, Автор: HTML.
Размер книги: 7.32 Mb
Использование Macromedia Flash MX. Специальное изданиеАвтор: Майкл Гурвиц, Автор: Лора Мак-Кейб
Размер книги: 57.27 Mb
Unexploded Ordance Cleanup Cost: Implications of Alternative ProtocolsАвтор: Jaqueline McDonald
Размер книги: 971 Kb
Ironclads at war: the origin and development of the armored warship, 1854-1891Автор: Jack Greene, Автор: Alessandro Massignani
Размер книги: 3.17 Mb
Sulfate minerals: crystallography, geochemistry, and environmental significanceАвтор: C.N. Alpers, Автор: J.L. Jambor, Автор: D.K. Nordstrom
Размер книги: 43.44 Mb
Understanding Cryptography: A Textbook for Students and PractitionersАвтор: Christof Paar, Автор: Jan Pelzl, Автор: Bart PreneelКатегория: Cs_Computer science, CsCr_Cryptography
Размер книги: 3.21 Mb
|
|
|