دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Elvira Albert. Emil Sekerinski (eds.)
سری: Lecture Notes in Computer Science 8739 Programming and Software Engineering
ISBN (شابک) : 9783319101804, 9783319101811
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 390
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
در صورت تبدیل فایل کتاب Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای یکپارچه رسمی: 11th International Conference، IFM 2014، Bertinoro، Italy، 9-11 سپتامبر 2014، پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بینالمللی روشهای رسمی یکپارچه، IFM 2014، برگزار شده در برتینورو، ایتالیا، در سپتامبر 2014 است. ارسالی ها مقالات در بخش های موضوعی زیر سازماندهی شده اند: یکپارچه سازی ابزار. تایید مدل؛ پیشرفت برنامه؛ تجزیه و تحلیل امنیتی؛ تحلیل و تحول؛ و همزمانی و کنترل.
This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.
Front Matter....Pages 1-10
Front Matter....Pages 1-1
Shape and Content....Pages 3-17
How to Break the Bank: Semantics of Capability Policies....Pages 18-35
Front Matter....Pages 37-37
Model-Checking Circus State-Rich Specifications....Pages 39-54
An Interactive Verification Tool Meets an IDE....Pages 55-70
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems....Pages 71-86
Modeling UML Template Classes with FoCaLiZe....Pages 87-102
Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud....Pages 103-119
Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems....Pages 120-135
Front Matter....Pages 137-137
Verifying Behavioral UML Systems via CEGAR....Pages 139-154
Formal Refinement in SysML....Pages 155-170
Verifying Modal Workflow Specifications Using Constraint Solving....Pages 171-186
Front Matter....Pages 187-187
Proofs and Refutations in Invariant-Based Programming....Pages 189-204
Automated Theorem Prover Assisted Program Calculations....Pages 205-220
Managing LTL Properties in Event-B Refinement....Pages 221-237
Front Matter....Pages 239-239
Formal Security Analysis of the MaCAN Protocol....Pages 241-255
A Probabilistic Framework for Security Scenarios with Dependent Actions....Pages 256-271
A Hybrid Analysis for Security Protocols with State....Pages 272-287
Front Matter....Pages 289-289
Towards a Formal Semantics-Based Technique for Interprocedural Slicing....Pages 291-306
Integrating Software and Hardware Verification....Pages 307-322
Code Generation for Event-B....Pages 323-338
Front Matter....Pages 339-339
Verifying Linearizability on TSO Architectures....Pages 341-356
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset....Pages 357-372
A Separation Principle for Embedded System Interfacing....Pages 373-388
Back Matter....Pages 389-390