دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
دانلود کتاب نرم افزار تأیید شده: نظریه ها، ابزارها، آزمایش ها: پنجمین کنفرانس بین المللی، VSTTE 2013، Menlo Park، CA، USA، 17 تا 19 مه 2013، مقالات منتخب تجدید نظر شده
مشخصات کتاب
Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
ویرایش: 1 نویسندگان: Philipp Rümmer, Hossein Hojjat (auth.), Ernie Cohen, Andrey Rybalchenko (eds.) سری: Lecture Notes in Computer Science 8164 Programming and Software Engineering ISBN (شابک) : 9783642541070, 9783642541087 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2014 تعداد صفحات: 358 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب نرم افزار تأیید شده: نظریه ها، ابزارها، آزمایش ها: پنجمین کنفرانس بین المللی، VSTTE 2013، Menlo Park، CA، USA، 17 تا 19 مه 2013، مقالات منتخب تجدید نظر شده: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار تأیید شده: نظریه ها، ابزارها، آزمایش ها: پنجمین کنفرانس بین المللی، VSTTE 2013، Menlo Park، CA، USA، 17 تا 19 مه 2013، مقالات منتخب تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار تأیید شده: نظریه ها، ابزارها، آزمایش ها: پنجمین کنفرانس بین المللی، VSTTE 2013، Menlo Park، CA، USA، 17 تا 19 مه 2013، مقالات منتخب تجدید نظر شده
این جلد مجموعه مقالات پس از کنفرانس با داوری کامل پنجمین کنفرانس بین‌المللی نرم‌افزار تأیید شده: نظریه‌ها، ابزارها و آزمایش‌ها، VSTTE 2013، در منلو پارک، کالیفرنیا، ایالات متحده آمریکا، در ماه مه 2013 برگزار شد. 17 مقاله کامل اصلاح‌شده ارائه شده به دقت مورد بازبینی قرار گرفت و از بین 35 مورد ارسالی انتخاب شد. این مقالات به طیف وسیعی از موضوعات از جمله آموزش، مدل‌سازی نیازمندی‌ها، زبان‌های مشخصات، مطالعات موردی مشخصات/تأیید، محاسبات رسمی، روش‌های طراحی نرم‌افزار، تولید کد خودکار، روش‌شناسی اصلاح، تجزیه و تحلیل ترکیبی، ابزارهای تأیید، ادغام ابزار، معیارها، چالش‌ها می‌پردازند. مشکلات و محیط های تأیید یکپارچه.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.
فهرست مطالب
Front Matter....Pages -
Classifying and Solving Horn Clauses for Verification....Pages 1-21
Static Analysis of Programs with Imprecise Probabilistic Inputs....Pages 22-47
Effect Analysis for Programs with Callbacks....Pages 48-67
Compositional Network Mobility....Pages 68-87
Parallel Bounded Verification of Alloy Models by TranScoping....Pages 88-107
Extending the Theory of Arrays: memset , memcpy , and Beyond....Pages 108-128
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types....Pages 129-148
Program Checking with Less Hassle....Pages 149-169
Verified Calculations....Pages 170-190
Preserving User Proofs across Specification Changes....Pages 191-201
An Automatic Encoding from VeriFast Predicates into Implicit Dynamic Frames....Pages 202-221
Automated Code Proofs on a Formal Model of the X86....Pages 222-241
Verification of a Virtual Filesystem Switch....Pages 242-261
Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving....Pages 262-280
Formal Verification of Loop Bound Estimation for WCET Analysis....Pages 281-303
Result Certification of Static Program Analysers with Automated Theorem Provers....Pages 304-325
A Formally Verified Generic Branching Algorithm for Global Optimization....Pages 326-343
Back Matter....Pages -
