|
|
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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Beckett, Literature and the Ethics of AlterityАвтор: Shane WellerКатегория: Philosophy
Размер книги: 569 Kb
History of the Second World War Part 13: Rommel The Desert FoxАвтор: Barrie Pitt (Editor)Категория: История
Размер книги: 52.49 Mb
Crosslinguistic Perspectives on Argument Structure: Implications for LearnabilityАвтор: Melissa Bowerman, Автор: Penelope BrownКатегория: Образование
Размер книги: 2.38 Mb
Wireless Internet Crash CourseАвтор: Roman Kikta, Автор: Al Fisher, Автор: Michael Courtney
Размер книги: 4.83 Mb
The Devil In The White City- Murder, Magic, AАвтор: Larson ErikКатегория: fiction
Размер книги: 939 Kb
Free to Be You: Living From Your God-Given Design (Epub & Mobi)Автор: Elizabeth Gunter, Автор: Sylvia GunterКатегория: Christian
Размер книги: 504 Kb
|
|
|