دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
دانلود کتاب نرم افزار تایید شده نظریه ها، ابزارها و تجربیات: نهمین کنفرانس بین المللی، VSTTE 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مقالات منتخب اصلاح شده
مشخصات کتاب
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
ویرایش: 1
نویسندگان: Andrei Paskevich.Thomas Wies (eds.)
سری: Programming and Software Engineering 10712
ISBN (شابک) : 9783319723075, 9783319723082
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 223
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب نرم افزار تایید شده نظریه ها، ابزارها و تجربیات: نهمین کنفرانس بین المللی، VSTTE 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مقالات منتخب اصلاح شده: مهندسی نرم افزار
در صورت تبدیل فایل کتاب Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار تایید شده نظریه ها، ابزارها و تجربیات: نهمین کنفرانس بین المللی، VSTTE 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار تایید شده نظریه ها، ابزارها و تجربیات: نهمین کنفرانس بین المللی، VSTTE 2017، هایدلبرگ، آلمان، 22-23 ژوئیه، 2017، مقالات منتخب اصلاح شده
این جلد مجموعه مقالات پس از کنفرانس نهمین کنفرانس بین‌المللی
نرم‌افزار تأیید شده: نظریه‌ها، ابزارها و آزمایش‌ها، VSTTE
2017، که در ژوئیه 2017 در هایدلبرگ، آلمان برگزار شد، با داوری
کامل است.
12 مقاله کامل ارائه شده به دقت مورد بازبینی قرار گرفت و از
بین 20 مورد ارسالی انتخاب شد. این مقالات تلاش‌های
راستی‌آزمایی در مقیاس بزرگ را توصیف می‌کنند که شامل همکاری،
یکپارچه‌سازی نظریه، یکپارچه‌سازی ابزار، و دانش دامنه رسمی و
همچنین آزمایش‌های جدید و مطالعات موردی برای ارزیابی تکنیک‌ها
و فناوری‌های راستی‌آزمایی می‌شود.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the thoroughly refereed
post-conference proceedings of the 9th International
Conference on Verified Software: Theories, Tools, and
Experiments, VSTTE 2017, held in Heidelberg, Germany, in July
2017.
The 12 full papers presented were carefully revised and
selected from 20 submissions. The papers describe large-scale
verification efforts that involve collaboration, theory
unification, tool integration, and formalized domain
knowledge as well as novel experiments and case studies
evaluating verification techniques and technologies.
فهرست مطالب
Front Matter ....Pages I-XIII
A Formally Verified Interpreter for a Shell-Like Programming Language (Nicolas Jeannerod, Claude Marché, Ralf Treinen)....Pages 1-18
A Formal Analysis of the Compact Position Reporting Algorithm (Aaron Dutle, Mariano Moscato, Laura Titolo, César Muñoz)....Pages 19-34
Proving JDK’s Dual Pivot Quicksort Correct (Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich)....Pages 35-48
A Semi-automatic Proof of Strong Connectivity (Ran Chen, Jean-Jacques Lévy)....Pages 49-65
Verifying Branch-Free Assembly Code in Why3 (Marc Schoolderman)....Pages 66-83
How to Get an Efficient yet Verified Arbitrary-Precision Integer Library (Raphaël Rieu-Helft, Claude Marché, Guillaume Melquiond)....Pages 84-101
Automating the Verification of Floating-Point Programs (Clément Fumex, Claude Marché, Yannick Moy)....Pages 102-119
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions (Saeed Nejati, Jia Hui Liang, Catherine Gebotys, Krzysztof Czarnecki, Vijay Ganesh)....Pages 120-131
Practical Void Safety (Alexander Kogtenkov)....Pages 132-151
Memory-Efficient Tactics for Randomized LTL Model Checking (Kim Larsen, Doron Peled, Sean Sedwards)....Pages 152-169
Reordering Control Approaches to State Explosion in Model Checking with Memory Consistency Models (Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda)....Pages 170-190
An Abstraction Technique for Describing Concurrent Program Behaviour (Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski)....Pages 191-209
Back Matter ....Pages 211-211
