Verification Model Checking And Abstract Interpretation 5th International

This Volume Contains The Proceedings Of The 5th International Conference On Veri?cation, Model Checking, And Abstract Interpretation (vmcai 2004), Held Invenice,january11-13,2004,inconjunctionwithpopl2004,the31stannual Symposiumonprinciplesofprogramminglanguages,january14-16,2004.the Purposeofvmcaiistoprovideaforumforresearchersfromthreecommunities- Veri?cation, Model Checking, And Abstract Interpretation-which Will Facilitate Interaction, Cross-fertilization, And The Advance Of Hybrid Methods That Combine Thethreeareas.withthegrowingneedforformaltoolstoreasonaboutcomplex, In?nite-state, And Embedded Systems, Such Hybrid Methods Are Bound To Be Of Great Importance. Topics Covered By Vmcai Include Program Veri?cation, Static Analysis Te- Niques, Model Checking, Program Certi?cation, Type Systems, Abstract Domains, Debugging Techniques, Compiler Optimization, Embedded Systems, And Formal Analysis Of Security Protocols. This Years Meeting Follows The Four Previous Events In Port Je?erson (1997), Pisa (1998), Venice (2002), Lncs 2294 And York (2003), Lncs 2575.