دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
دانلود کتاب روشهای رسمی یکپارچه: دوازدهمین کنفرانس بین المللی ، IFM 2016 ، ریکیاویک ، ایسلند ، 1-5 ژوئن 2016 ، مجموعه مقالات
مشخصات کتاب
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
ویرایش: 1
نویسندگان: Erika Ábrahám. Marieke Huisman (eds.)
سری: Lecture Notes in Computer Science 9681
ISBN (شابک) : 9783319336923, 9783319336930
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 538
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 25 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب روشهای رسمی یکپارچه: دوازدهمین کنفرانس بین المللی ، IFM 2016 ، ریکیاویک ، ایسلند ، 1-5 ژوئن 2016 ، مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی یکپارچه: دوازدهمین کنفرانس بین المللی ، IFM 2016 ، ریکیاویک ، ایسلند ، 1-5 ژوئن 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی یکپارچه: دوازدهمین کنفرانس بین المللی ، IFM 2016 ، ریکیاویک ، ایسلند ، 1-5 ژوئن 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی
روشهای رسمی یکپارچه، IFM 2016 است که در ریکیاویک، ایسلند، در
ژوئن 2016 برگزار شد.
33 مقاله ارائه‌شده در این جلد با دقت بررسی و انتخاب شدند. از
99 ارسال آنها در بخش های موضوعی به نام های: مشارکت های دعوت
شده سازماندهی شدند. تأیید برنامه؛ سیستم های احتمالی؛ همزمانی؛
ایمنی و زندگی؛ یادگیری مدل؛ حل SAT و SMT؛ آزمایش کردن؛ اثبات
قضیه و ارضای محدودیت؛ مطالعات موردی
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th
International Conference on Integrated Formal Methods, IFM
2016, held in Reykjavik, Iceland, in June 2016.
The 33 papers presented in this volume were carefully
reviewed and selected from 99 submissions. They were
organized in topical sections named: invited contributions;
program verification; probabilistic systems; concurrency;
safety and liveness; model learning; SAT and SMT solving;
testing; theorem proving and constraint satisfaction; case
studies.
فهرست مطالب
Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Can Formal Methods Improve the Efficiency of Code Reviews?....Pages 3-19
Symbolic Computation and Automated Reasoning for Program Analysis....Pages 20-27
Perspectives of Model Transformation Reuse....Pages 28-44
Front Matter....Pages 45-45
On Type Checking Delta-Oriented Product Lines....Pages 47-62
Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment....Pages 63-78
Why Just Boogie?....Pages 79-95
Front Matter....Pages 97-97
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata....Pages 99-114
Probabilistic Formal Analysis of App Usage to Inform Redesign....Pages 115-129
Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC....Pages 130-138
Front Matter....Pages 139-139
Monitoring Multi-threaded Component-Based Systems....Pages 141-159
A Generalised Theory of Interface Automata, Component Compatibility and Error....Pages 160-175
On Implementing a Monitor-Oriented Programming Framework for Actor Systems....Pages 176-192
Towards a Thread-Local Proof Technique for Starvation Freedom....Pages 193-209
Reasoning About Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems....Pages 210-225
A Formal Model of the Safety-Critical Java Level 2 Paradigm....Pages 226-241
Front Matter....Pages 243-243
Property Preservation for Extension Patterns of State Transition Diagrams....Pages 245-259
Symbolic Reachability Analysis of B Through ProB and LTSmin ....Pages 260-274
Front Matter....Pages 275-291
Enhancing Automata Learning by Log-Based Metrics....Pages 293-293
Refactoring of Legacy Software Using Model Learning and Equivalence Checking: An Industrial Experience Report....Pages 295-310
Front Matter....Pages 311-325
On Robust Malware Classifiers by Verifying Unwanted Behaviours....Pages 293-293
Front Matter....Pages 326-341
Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving....Pages 343-343
SMT Solvers for Validation of B and Event-B Models....Pages 345-360
Avoiding Medication Conflicts for Patients with Multimorbidities....Pages 361-375
Front Matter....Pages 376-390
Temporal Random Testing for Spark Streaming....Pages 391-391
Combining Static Analysis and Testing for Deadlock Detection....Pages 393-408
Fuzzing JavaScript Engine APIs....Pages 409-424
Front Matter....Pages 425-438
A Component-Based Approach to Hybrid Systems Safety Verification....Pages 439-439
Verifying Pointer Programs Using Separation Logic and Invariant Based Programming in Isabelle....Pages 441-456
A Constraint Satisfaction Method for Configuring Non-local Service Interfaces....Pages 457-473
Front Matter....Pages 474-488
Rule-Based Consistency Checking of Railway Infrastructure Designs....Pages 489-489
Formal Verification of Safety PLC Based Control Software....Pages 491-507
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure....Pages 508-522
Back Matter....Pages 523-536
....Pages 537-538
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Inspection errors for attributes in quality control
دانلود کتاب Communications in Algebra, volume 26, number 4
