دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
دانلود کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: چهاردهمین سمپوزیوم بین المللی ، ATVA 2016 ، چیبا ، ژاپن ، 17-20 اکتبر 2016 ، مجموعه مقالات
مشخصات کتاب
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings
ویرایش: 1 نویسندگان: Cyrille Artho, Axel Legay, Doron Peled (eds.) سری: Lecture Notes in Computer Science 9938 ISBN (شابک) : 9783319465203, 9783319465197 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 527 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: چهاردهمین سمپوزیوم بین المللی ، ATVA 2016 ، چیبا ، ژاپن ، 17-20 اکتبر 2016 ، مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: چهاردهمین سمپوزیوم بین المللی ، ATVA 2016 ، چیبا ، ژاپن ، 17-20 اکتبر 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: چهاردهمین سمپوزیوم بین المللی ، ATVA 2016 ، چیبا ، ژاپن ، 17-20 اکتبر 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات چهاردهمین سمپوزیوم بین المللی فناوری
خودکار برای تأیید و تجزیه و تحلیل، ATVA 2016 است که در چیبا،
ژاپن، در اکتبر 2016 برگزار شد.
31 مقاله ارائه شده در این جلد به دقت بررسی شدند. و از بین 82
مورد ارسالی انتخاب شد. آنها در بخش های موضوعی به نام های:
کلیدی; مدل‌ها، زنجیره‌ها و فرآیندهای تصمیم‌گیری مارکوف. سیستم
های شمارنده، خودکار؛ موازی، همزمانی؛ پیچیدگی، تصمیم پذیری؛
سنتز، پالایش؛ بهینه سازی، اکتشافی، کاهش سفارش جزئی. روش های
حل، بررسی مدل؛ و تحلیل برنامه
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 14th
International Symposium on Automated Technology for
Verification and Analysis, ATVA 2016, held in Chiba, Japan,
in October 2016.
The 31 papers presented in this volume were carefully
reviewed and selected from 82 submissions. They were
organized in topical sections named: keynote; Markov models,
chains, and decision processes; counter systems, automata;
parallelism, concurrency; complexity, decidability;
synthesis, refinement; optimization, heuristics,
partial-order reductions; solving procedures, model checking;
and program analysis.
فهرست مطالب
Front Matter....Pages I-XI
Front Matter....Pages 1-1
Synthesizing and Completely Testing Hardware Based on Templates Through Small Numbers of Test Patterns....Pages 3-10
Front Matter....Pages 11-11
Approximate Policy Iteration for Markov Decision Processes via Quantitative Adaptive Aggregations....Pages 13-31
Optimizing the Expected Mean Payoff in Energy Markov Decision Processes....Pages 32-49
Parameter Synthesis for Markov Models: Faster Than Ever....Pages 50-67
Bounded Model Checking for Probabilistic Programs....Pages 68-85
Front Matter....Pages 87-87
How Hard is It to Verify Flat Affine Counter Systems with the Finite Monoid Property?....Pages 89-105
Solving Language Equations Using Flanked Automata....Pages 106-121
MoChiBA: Probabilistic LTL Model Checking Using Limit-Deterministic Büchi Automata....Pages 122-129
Front Matter....Pages 130-137
Synchronous Products of Rewrite Systems....Pages 139-139
Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents....Pages 141-156
Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs....Pages 157-173
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems....Pages 174-191
Front Matter....Pages 192-208
On Finite Domains in First-Order Linear Temporal Logic....Pages 209-209
Decidability Results for Multi-objective Stochastic Games....Pages 211-226
A Decision Procedure for Separation Logic in SMT....Pages 227-243
Solving Mean-Payoff Games on the GPU....Pages 244-261
Front Matter....Pages 262-267
Synthesizing Skeletons for Reactive Systems....Pages 269-269
Observational Refinement and Merge for Disjunctive MTSs....Pages 271-286
Front Matter....Pages 287-303
Greener Bits: Formal Analysis of Demand Response....Pages 304-320
Heuristics for Checking Liveness Properties with Partial Order Reductions....Pages 321-321
Partial-Order Reduction for GPU Model Checking....Pages 323-339
Front Matter....Pages 340-356
Skolem Functions for DQBF....Pages 357-374
STL Model Checking of Continuous and Hybrid Systems....Pages 375-391
Clause Sharing and Partitioning for Cloud-Based SMT Solving....Pages 393-393
Symbolic Model Checking for Factored Probabilistic Models....Pages 395-411
Front Matter....Pages 412-427
A Sketching-Based Approach for Debugging Using Test Cases....Pages 428-443
Polynomial Invariants by Linear Algebra....Pages 444-460
Certified Symbolic Execution....Pages 461-461
Tighter Loop Bound Analysis....Pages 463-478
Back Matter....Pages 479-494
....Pages 495-511
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Costume Through the Ages: Over 1400 Illustrations
دانلود کتاب Mobilisation attentionnelle des piétons aveugles : Effets de l’âge, de l’antériorité de la cécité et de l’aide à la mobilité utilisée
دانلود کتاب Storia dell'arte. Dalle civiltà antiche al Classicismo
دانلود کتاب Семейное право
