دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
دانلود کتاب تأیید به کمک رایانه: بیست و هشتمین کنفرانس بین المللی، CAV 2016، تورنتو، ON، کانادا، 17-23 ژوئیه، 2016، مجموعه مقالات، قسمت دوم
مشخصات کتاب
Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
ویرایش: 1
نویسندگان: Swarat Chaudhuri. Azadeh Farzan (eds.)
سری: Lecture Notes in Computer Science 9780
ISBN (شابک) : 9783319415406, 9783319415390
ناشر: Springer International Publishing
سال نشر: 2016
تعداد صفحات: 527
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 49,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب تأیید به کمک رایانه: بیست و هشتمین کنفرانس بین المللی، CAV 2016، تورنتو، ON، کانادا، 17-23 ژوئیه، 2016، مجموعه مقالات، قسمت دوم: منطق و معانی برنامه‌ها، مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل، منطق ریاضی و زبان‌های رسمی، سازماندهی سیستم‌های کامپیوتری و شبکه‌های ارتباطی
در صورت تبدیل فایل کتاب Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه: بیست و هشتمین کنفرانس بین المللی، CAV 2016، تورنتو، ON، کانادا، 17-23 ژوئیه، 2016، مجموعه مقالات، قسمت دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید به کمک رایانه: بیست و هشتمین کنفرانس بین المللی، CAV 2016، تورنتو، ON، کانادا، 17-23 ژوئیه، 2016، مجموعه مقالات، قسمت دوم
مجموعه دو جلدی LNCS 9779 و LNCS 9780 مجموعه مقالات داوری بیست و هشتمین کنفرانس بین‌المللی تأیید به کمک رایانه، CAV 2016، در تورنتو، ON، ایالات متحده آمریکا، در ژوئیه 2016 برگزار می‌شود.
< p>مجموع 46 مقاله کامل و 12 مقاله کوتاه ارائه شده در مجموعه مقالات به دقت بررسی و از بین 195 مقاله ارسالی انتخاب شد. مقالات در بخش های موضوعی به نام های: سیستم های احتمالی سازماندهی شدند. سنتز؛ حل محدودیت؛ بررسی مدل؛ تجزیه و تحلیل برنامه؛ سیستم های زمان بندی شده و ترکیبی؛ تأیید در عمل؛ همزمانی؛ و اتومات ها و بازی ها.توضیحاتی درمورد کتاب به خارجی
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.
The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games.
فهرست مطالب
Front Matter....Pages I-XVII
Front Matter....Pages 1-1
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration....Pages 3-22
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers....Pages 23-41
A Practical Verification Framework for Preemptive OS Kernels....Pages 42-58
Probabilistic Automated Language Learning for Configuration Files....Pages 59-79
Front Matter....Pages 80-87
The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach....Pages 89-89
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers....Pages 91-111
Stateless Model Checking for POWER....Pages 112-133
Hitting Families of Schedules for Asynchronous Programs....Pages 134-156
ParCoSS: Efficient Parallelized Compiled Symbolic Simulation....Pages 157-176
Front Matter....Pages 177-183
XSat: A Fast Floating-Point Satisfiability Solver....Pages 185-185
Effectively Propositional Interpolants....Pages 187-209
Array Folds Logic....Pages 210-229
Front Matter....Pages 230-248
Compositional Synthesis of Reactive Controllers for Multi-agent Systems....Pages 249-249
Solving Parity Games via Priority Promotion....Pages 251-269
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games....Pages 270-290
Limit-Deterministic Büchi Automata for Linear Temporal Logic....Pages 291-311
Front Matter....Pages 312-332
Synthesis of Fault-Attack Countermeasures for Cryptographic Circuits....Pages 333-339
A SAT-Based Counterexample Guided Method for Unbounded Synthesis....Pages 341-341
Front Matter....Pages 343-363
BDD-Based Boolean Functional Synthesis....Pages 364-382
Front Matter....Pages 341-341
Property Directed Equivalence via Abstract Simulation....Pages 383-401
Combining Model Learning and Model Checking to Analyze TCP Implementations....Pages 402-421
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs....Pages 422-430
BigraphER: Rewriting and Analysis Engine for Bigraphs....Pages 431-431
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses....Pages 433-453
The Kind 2 Model Checker....Pages 454-471
Back Matter....Pages 472-493
....Pages 494-501
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Advances in Visual Computing: 11th International Symposium, ISVC 2015, Las Vegas, NV, USA, December 14-16, 2015, Proceedings, Part I
دانلود کتاب John Ruskin e o ensino do desenho no Brasil
دانلود کتاب Nothing to Lose
دانلود کتاب جمیع علومه زيور اولان فن كتابتك مدخل اولى يعنى لسان لطافترسان تركينك الفبەسى
