دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
دانلود کتاب FM 2011: روش های رسمی: هفدهمین سمپوزیوم بین المللی روش های رسمی ، لیمریک ، ایرلند ، 20-24 ژوئن ، 2011. مجموعه مقالات
مشخصات کتاب
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings
ویرایش: 1 نویسندگان: Janos Sztipanovits (auth.), Michael Butler, Wolfram Schulte (eds.) سری: Lecture Notes in Computer Science 6664 ISBN (شابک) : 3642214363, 9783642214363 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 465 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب FM 2011: روش های رسمی: هفدهمین سمپوزیوم بین المللی روش های رسمی ، لیمریک ، ایرلند ، 20-24 ژوئن ، 2011. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب FM 2011: روش های رسمی: هفدهمین سمپوزیوم بین المللی روش های رسمی ، لیمریک ، ایرلند ، 20-24 ژوئن ، 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب FM 2011: روش های رسمی: هفدهمین سمپوزیوم بین المللی روش های رسمی ، لیمریک ، ایرلند ، 20-24 ژوئن ، 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفدهمین سمپوزیوم بین‌المللی
روش‌های رسمی، FM 2011، برگزار شده در لیمریک، ایرلند، در ژوئن
2011 است.
29 مقاله کامل اصلاح‌شده ارائه شده همراه با 3 سخنرانی دعوت‌شده
با دقت بررسی و انتخاب شدند. از ارسال های متعدد این مقالات در
بخش‌های موضوعی در مورد سیستم‌های فیزیکی-سایبری، تجزیه و تحلیل
زمان اجرا، مطالعات موردی/ابزار، تجربه، تدوین و تبدیل برنامه،
امنیت، جبر پیشرفت، آموزش، همزمانی، ساختارهای پویا، و بررسی
مدل سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 17th
International Symposium on Formal Methods, FM 2011, held in
Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited
talks were carefully reviewed and selected from numerous
submissions. The papers are organized in topical sections on
cyber-physical systems, runtime analysis, case studies/tools,
experience, program compilation and transformation, security,
progress algebra, education, concurrency, dynamic structures,
and model checking.
فهرست مطالب
Front Matter....Pages -
Model Integration and Cyber Physical Systems: A Semantics Perspective....Pages 1-1
Some Thoughts on Behavioral Programming....Pages 2-2
The Only Way Is Up....Pages 3-11
Does It Pay to Extend the Perimeter of a World Model?....Pages 12-26
System Verification through Program Verification....Pages 27-41
Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified....Pages 42-56
TraceContract : A Scala DSL for Trace Analysis....Pages 57-72
Using Debuggers to Understand Failed Verification Attempts....Pages 73-87
Sampling-Based Runtime Verification....Pages 88-102
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP....Pages 103-117
Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems....Pages 118-132
Relational Reasoning via SMT Solving....Pages 133-148
Building VCL Models and Automatically Generating Z Specifications from Them....Pages 149-153
The 1st Verified Software Competition: Experience Report....Pages 154-168
Validated Compilation through Logic....Pages 169-183
Certification of Safe Polynomial Memory Bounds....Pages 184-199
Relational Verification Using Product Programs....Pages 200-214
Specifying Confidentiality in Circus ....Pages 215-230
Formally Verifying Isolation and Availability in an Idealized Model of Virtualization....Pages 231-245
The Safety-Critical Java Memory Model: A Formal Account....Pages 246-261
Failure-Divergence Refinement of Compensating Communicating Processes....Pages 262-277
Termination without $\\checkmark$ in CSP....Pages 278-292
Timed Migration and Interaction with Access Permissions....Pages 293-307
From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community....Pages 308-322
Verifying Linearisability with Potential Linearisation Points....Pages 323-337
Refinement-Based Verification of Local Synchronization Algorithms....Pages 338-352
Simulating Concurrent Behaviors with Worst-Case Cost Bounds....Pages 353-368
Automatically Refining Partial Specifications for Program Verification....Pages 369-385
Structured Specifications for Better Verification of Heap-Manipulating Programs....Pages 386-401
Verification of Unloadable Modules....Pages 402-416
A Multi-encoding Approach for LTL Symbolic Satisfiability Checking....Pages 417-431
On Combining State Space Reductions with Global Fairness Assumptions....Pages 432-447
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Project Physics Course: Text and Handbook Unit 5: Models of the Atom
دانلود کتاب Adverse Events: Race, Inequality, and the Testing of New Pharmaceuticals
دانلود کتاب Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings
دانلود کتاب Reflections on the Silence of God: A Discussion with Marjo Korpel and Johannes de Moor
