Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification & Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, & theory.