Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)
Автор
 
Год
 
Страниц
 
381
ISBN
 
ISBN13:9783540938996
Издатель
 
Springer

Описание:

The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages.

The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

Похожие книги

Hierarchical and Geometrical Methods in Scientific VisualizationHierarchical and Geometrical Methods in Scientific Visualization
Автор: G. Farin, Bernd Hamann, Hans Hagen, H. Hagen, Gerald E. Farin, B. Hamann
Год: 2001
Fundamental Approaches to Software EngineeringFundamental Approaches to Software Engineering
Автор: Michel Wermelinger, Tiziana Margaria-Steffen
Год: 2004