دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
دانلود کتاب نرم افزار تایید شده نظریه‌ها، ابزارها و آزمایش‌ها: دهمین کنفرانس بین‌المللی، VSTTE 2018، آکسفورد، بریتانیا، 18 تا 19 ژوئیه، 2018، مقالات منتخب اصلاح شده
مشخصات کتاب
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
ویرایش: 1st ed.
نویسندگان: Ruzica Piskac. Philipp Rümmer
سری: Lecture Notes in Computer Science 11294
ISBN (شابک) : 9783030035914, 9783030035921
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 359
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 16 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب نرم افزار تایید شده نظریه‌ها، ابزارها و آزمایش‌ها: دهمین کنفرانس بین‌المللی، VSTTE 2018، آکسفورد، بریتانیا، 18 تا 19 ژوئیه، 2018، مقالات منتخب اصلاح شده: علوم کامپیوتر، مهندسی نرم‌افزار، منطق و معانی برنامه‌ها، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، عملکرد و ارزیابی سیستم، سیستم‌های مبتنی بر هدف و کاربرد ویژه، حرفه محاسبات
در صورت تبدیل فایل کتاب Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نرم افزار تایید شده نظریه‌ها، ابزارها و آزمایش‌ها: دهمین کنفرانس بین‌المللی، VSTTE 2018، آکسفورد، بریتانیا، 18 تا 19 ژوئیه، 2018، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نرم افزار تایید شده نظریه‌ها، ابزارها و آزمایش‌ها: دهمین کنفرانس بین‌المللی، VSTTE 2018، آکسفورد، بریتانیا، 18 تا 19 ژوئیه، 2018، مقالات منتخب اصلاح شده
این جلد مجموعه مقالات پس از کنفرانس با داوری کامل دهمین
کنفرانس بین‌المللی نرم‌افزار تایید شده: نظریه‌ها، ابزارها و
آزمایش‌ها، VSTTE 2018، که در آکسفورد، انگلستان، در ژوئیه 2018
برگزار شد، است.
19 مقاله کامل ارائه‌شده از بین 24 مورد ارسالی به دقت بازبینی
و انتخاب شدند. این مقالات تلاش‌های راستی‌آزمایی در مقیاس بزرگ
را توصیف می‌کنند که شامل همکاری، یکپارچه‌سازی نظریه،
یکپارچه‌سازی ابزار، و دانش دامنه رسمی و همچنین آزمایش‌های
جدید و مطالعات موردی برای ارزیابی تکنیک‌ها و فناوری‌های
راستی‌آزمایی می‌شود.
توضیحاتی درمورد کتاب به خارجی
This volume constitutes the thoroughly refereed
post-conference proceedings of the 10th International
Conference on Verified Software: Theories, Tools, and
Experiments, VSTTE 2018, held in Oxford, UK, in July
2018.
The 19 full papers presented were carefully revised and
selected from 24 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-XVI
A Tree-Based Approach to Data Flow Proofs (Jochen Hoenicke, Alexander Nutz, Andreas Podelski)....Pages 1-16
Executable Counterexamples in Software Model Checking (Jeffrey Gennari, Arie Gurfinkel, Temesghen Kahsai, Jorge A. Navas, Edward J. Schwartz)....Pages 17-37
Extending VIAP to Handle Array Programs (Pritom Rajkhowa, Fangzhen Lin)....Pages 38-49
Lattice-Based Refinement in Bounded Model Checking (Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina)....Pages 50-68
Verified Certificate Checking for Counting Votes (Milad K. Ghale, Dirk Pattinson, Ramana Kumar, Michael Norrish)....Pages 69-87
Program Verification in the Presence of I/O (Hugo Férée, Johannes Åman Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, Son Ho)....Pages 88-111
TWAM: A Certifying Abstract Machine for Logic Programs (Brandon Bohrer, Karl Crary)....Pages 112-134
A Java Bytecode Formalisation (Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert)....Pages 135-154
Formalising Executable Specifications of Low-Level Systems (Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif)....Pages 155-176
A Formalization of the ABNF Notation and a Verified Parser of ABNF Grammars (Alessandro Coglio)....Pages 177-195
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components (Robin Adams, Sibylle Schupp)....Pages 196-214
SideTrail: Verifying Time-Balancing of Cryptosystems (Konstantinos Athanasiou, Byron Cook, Michael Emmi, Colm MacCarthaigh, Daniel Schwartz-Narbonne, Serdar Tasiran)....Pages 215-228
Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity (Jakub Zakrzewski)....Pages 229-247
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms (Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl)....Pages 248-266
Practical Methods for Reasoning About Java 8’s Functional Programming Features (David R. Cok, Serdar Tasiran)....Pages 267-278
Verification of Binarized Neural Networks via Inter-neuron Factoring (Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess)....Pages 279-290
The Map Equality Domain (Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski)....Pages 291-308
Loop Detection by Logically Constrained Term Rewriting (Naoki Nishida, Sarah Winkler)....Pages 309-321
Store Buffer Reduction in the Presence of Mixed-Size Accesses and Misalignment (Jonas Oberhauser)....Pages 322-344
Back Matter ....Pages 345-345
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Saigon’s Edge: On the Margins of Ho Chi Minh City
دانلود کتاب Drowning Ruth
دانلود کتاب Mastering Metasploit: Exploit systems, cover your tracks, and bypass security controls with the Metasploit 5.0 framework, 4th Edition. Code
دانلود کتاب Habeas corpus. Sei genealogie del corpo occidentale
