Book Details

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

Publication year: 2006

: 978-3-540-31622-0


This volume contains the papers accepted for presentation at the 7th Interna-tional Conference on Verification, Model Checking, and Abstract Interpretation,held January 8-10, 2006, at Charleston, South Carolina, USA.VMCAI provides a forum for researchers from the communities of verifica-tion, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.The program was selected from 58 submitted papers.

: Computer Science, Factor, Refactoring, abstraction, algorithms, complexity, design, model checking, program analysis, program invariants, program semantics, program verification, programming, programming calculi, structured analysis, verification