Automated Technology for Verification and Analysis
ISBN: 9783540883869
RM920.47
Publisher,Springer-Nature New York Inc
Publication Date,
Format, Paperback
Weight,
No. of Pages, 430
Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and 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, and theory.
