|
|
libcats.org
Главная →
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, AugustFormal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, AugustKlaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart WolffThis book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. The 14 revised full papers presented together with 3 invited lectures were carefully selected from 31 initial submissions. The papers discuss formal approaches to test and analyze programs and monitor and guide their executions by using techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime verification use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc.
Скачать книгу бесплатно (pdf, 3.07 Mb)
Читать «Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August » EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Фондовый рынокАвтор: Берзон Н.И., Автор: Буянова Е.А., Автор: Кожевников М.А.
Размер книги: 5.02 Mb
Методические рекомендации по выполнению комплексной курсовой работы по дисциплинам: ''Экономическая теория'', ''Менеджмент'', ''Маркетинг'', ''Экономика предприятия'' для студентов экономических специальностейАвтор: Сахаровская Е.Ц., Автор: Сахаровский С.Н.Категория: Экономика
Размер книги: 177 Kb
Фома Евграфович Топорищев. ПССАвтор: Дрыжак Владимир БорисовичКатегория: Юмор
Размер книги: 591 Kb
GaymesАвтор: Byrnes Jenna, Автор: Cease Gwendolyn, Автор: Dare KimКатегория: fiction
Размер книги: 426 Kb
|
|
|