Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)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.
Категории:
Година:
2010
Издание:
1
Издателство:
Springer-Verlag Berlin Heidelberg
Език:
english
Страници:
397
ISBN 10:
3642113192
ISBN 13:
9783642113192
Серия:
Lecture Notes in Computer Science 5944 : Theoretical Computer Science and General Issues
Файл:
PDF, 5.09 MB
IPFS:
,
english, 2010
Изтеглянето на тази книга не е възможно поради жалба от притежателя на авторските права