دانلود کتاب Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings

Name: Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings
Availability: InStock
Author: Simon N. Foley (auth.)
ISBN: 9783540405245, 9783540450696, 354040524

by Simon N. Foley (auth.), Warren A. Hunt Jr., Fabio Somenzi (eds.)

عنوان فارسی: با کمک کامپیوتر تأیید : 15 کنفرانس بین المللی، CAV 2003 ، بولدر ، CO، ایالات متحده آمریکا، 08-12 ژوئیه ، 2003. مجموعه مقالات
ناشر: Springer-Verlag Berlin Heidelberg
سال: 2003
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 462-474
شابک: 9783540405245, 9783540450696, 354040524
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 4.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.