دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Deductive Software Verification – The KeY Book: From Theory to Practice
دانلود کتاب تأیید نرم افزار قیاسی - کتاب کلیدی: از تئوری تا عمل
مشخصات کتاب
Deductive Software Verification – The KeY Book: From Theory to Practice
ویرایش: 1 نویسندگان: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.) سری: Lecture Notes in Computer Science 10001 ISBN (شابک) : 9783319498119, 9783319498126 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 714 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب تأیید نرم افزار قیاسی - کتاب کلیدی: از تئوری تا عمل: مهندسی نرم افزار، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Deductive Software Verification – The KeY Book: From Theory to Practice به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید نرم افزار قیاسی - کتاب کلیدی: از تئوری تا عمل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید نرم افزار قیاسی - کتاب کلیدی: از تئوری تا عمل
تجزیه و تحلیل استاتیک نرم افزار با روش های قیاسی یک زمینه بسیار پویا
از تحقیقات در آستانه تبدیل شدن به یک فناوری جریان اصلی در نرم افزار
مهندسی است. این شامل مجموعه بزرگی از تجزیه و تحلیل - عمدتاً کاملاً خودکار -
است: تأیید رسمی، تولید آزمایش، تجزیه و تحلیل امنیتی،
تجسم، و اشکال‌زدایی. همه آنها در چارچوب تأیید قیاسی کلیدی پیشرفته
تحقق یافته اند.
این کتاب راهنمای قطعی کلید است که به شما امکان می دهد پتانسیل کامل
تأیید صحت نرم افزار قیاسی را در عمل کشف کنید. این شامل
نظریه کامل پشت کلید برای محققان فعالی است که می‌خواهند آن را عمیقاً درک کنند یا از آن در کار خود استفاده کنند. اما این کتاب همچنین دارای فصول کاملاً
خود شامل زبان مدلسازی جاوا و استفاده از کلید است که
به چیزی جز آشنایی با جاوا نیاز ندارد. همه فصل‌های دیگر
برای دانشجویان تحصیلات تکمیلی (مقطع کارشناسی ارشد و فراتر از آن) قابل دسترسی است. قابل دانلود از وب سایت کتاب
همراه که شامل تمام نمونه کدهای ذکر شده در این
کتاب نیز می باشد.
توضیحاتی درمورد کتاب به خارجی
Static analysis of software with deductive methods is a highly dynamic field
of research on the verge of becoming a mainstream technology in software
engineering. It consists of a large portfolio of - mostly fully automated -
analyses: formal verification, test generation, security analysis,
visualization, and debugging. All of them are realized in the state-of-art
deductive verification framework KeY.
This book is the definitive guide to KeY that lets you explore the full
potential of deductive software verification in practice. It contains the
complete theory behind KeY for active researchers who want to understand it in
depth or use it in their own work. But the book also features fully
self-contained chapters on the Java Modeling Language and on Using KeY that
require nothing else than familiarity with Java. All other chapters are
accessible for graduate students (M.Sc. level and beyond).<
<
The KeY framework is free and open software, downloadable from the book
companion website which contains also all code examples mentioned in this
book.
فهرست مطالب
Front Matter....Pages I-XXXII
Quo Vadis Formal Verification?....Pages 1-19
Front Matter....Pages 21-21
First-Order Logic....Pages 23-47
Dynamic Logic for Java....Pages 49-106
Proof Search with Taclets....Pages 107-147
Theories....Pages 149-166
Abstract Interpretation....Pages 167-189
Front Matter....Pages 191-191
Formal Specification with the Java Modeling Language....Pages 193-241
From Specification to Proof Obligations....Pages 243-287
Modular Specification and Verification....Pages 289-351
Verifying Java Card Programs....Pages 353-380
Front Matter....Pages 381-381
Debugging and Visualization....Pages 383-413
Proof-based Test Case Generation....Pages 415-451
Information Flow Analysis....Pages 453-471
Program Transformation and Compilation....Pages 473-492
Front Matter....Pages 493-493
Using the KeY Prover....Pages 495-539
Formal Verification with KeY: A Tutorial....Pages 541-570
KeY-Hoare....Pages 571-589
Front Matter....Pages 591-591
Functional Verification and Information Flow Analysis of an Electronic Voting System....Pages 593-607
Verification of Counting Sort and Radix Sort....Pages 609-618
Back Matter....Pages 619-702
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Great Lead Water Pipe Disaster (2006)(en)(318s)
دانلود کتاب Der Einsatz radioaktiver Isotope bei Zerspanungsuntersuchungen
دانلود کتاب Differential Algebra and Algebraic Groups (Pure and Applied Mathematics 54)
