libcats.org
Главная

Formal Approaches to Software Testing and Runtime Verification

Обложка книги Formal Approaches to Software Testing and Runtime Verification

Formal Approaches to Software Testing and Runtime Verification

, , ,
This 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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

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

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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

Чужой дневник

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

Бюрер

Автор:
Размер книги: 84 Kb

Greed

Автор:

Lectures on Macroeconomics

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

USA's Best Trips

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

In the Blood

Автор:
Категория: fiction
Размер книги: 369 Kb