ENGLISH

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)

By Manuel Hermenegildo , Gilles Barthe

Book information

Publisher
Springer
Year
2010
ISBN
3642113184, 9783642113185
Open Library ID
OL24422050M
Language
english
Format
PDF
Filesize
4 MB (4271086 bytes)
Series
Lecture ... Computer Science and General Issues
Edition
1st Edition.
Pages
406\406
Orientation
no
Scanned
no
Time added
2010-05-31 15:29:46

Description

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Similar books