دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
دانلود کتاب تأیید به کمک رایانه: سی و دومین کنفرانس بین المللی ، CAV 2020 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 21 تا 24 ژوئیه ، 2020 ، مجموعه مقالات ، بخش دوم
مشخصات کتاب
Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
ویرایش: 1st ed. نویسندگان: Shuvendu K. Lahiri, Chao Wang سری: Lecture Notes in Computer Science 12225 ISBN (شابک) : 9783030532901, 9783030532918 ناشر: Springer International Publishing;Springer سال نشر: 2020 تعداد صفحات: 697 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 22 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب تأیید به کمک رایانه: سی و دومین کنفرانس بین المللی ، CAV 2020 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 21 تا 24 ژوئیه ، 2020 ، مجموعه مقالات ، بخش دوم: علوم کامپیوتر، مهندسی نرم افزار، تئوری محاسبات، سازماندهی سیستم های کامپیوتری و شبکه های ارتباطی، سخت افزار کامپیوتر
در صورت تبدیل فایل کتاب Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه: سی و دومین کنفرانس بین المللی ، CAV 2020 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 21 تا 24 ژوئیه ، 2020 ، مجموعه مقالات ، بخش دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید به کمک رایانه: سی و دومین کنفرانس بین المللی ، CAV 2020 ، لس آنجلس ، کالیفرنیا ، ایالات متحده آمریکا ، 21 تا 24 ژوئیه ، 2020 ، مجموعه مقالات ، بخش دوم
مجموعه دو جلدی دسترسی آزاد LNCS 12224 و 12225، مجموعه مقالات داوری سی و دومین کنفرانس بین المللی تأیید به کمک رایانه، CAV 2020، در لس آنجلس، کالیفرنیا، ایالات متحده آمریکا را تشکیل می دهد. در ژوئیه 2020.*
43 مقاله کامل ارائه شده همراه با 18 مقاله ابزار و 4 مطالعه موردی، به دقت بررسی و از بین 240 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی زیر سازماندهی شدند:
بخش اول: تأیید هوش مصنوعی. بلاک چین و امنیت؛ همزمانی؛ تأیید سخت افزار و رویه های تصمیم گیری؛ و سیستم های هیبریدی و دینامیکی.
بخش دوم: بررسی مدل. تایید نرم افزار؛ سیستم های تصادفی؛ و سنتز.
*کنفرانس به دلیل همه گیری کووید-19 به صورت مجازی برگزار شد.
توضیحاتی درمورد کتاب به خارجی
The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*
The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections:
Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems.
Part II: model checking; software verification; stochastic systems; and synthesis.
*The conference was held virtually due to the COVID-19 pandemic.
فهرست مطالب
Front Matter ....Pages i-xviii
Front Matter ....Pages 1-1
Automata Tutor v3 (Loris D’Antoni, Martin Helfrich, Jan Kretinsky, Emanuel Ramneantu, Maximilian Weininger)....Pages 3-14
Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization (František Blahoudek, Alexandre Duret-Lutz, Jan Strejček)....Pages 15-27
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft (Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens)....Pages 28-39
Realizing \(\omega \)-regular Hyperproperties (Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup)....Pages 40-63
AdamMC: A Model Checker for Petri Nets with Transits against Flow-LTL (Bernd Finkbeiner, Manuel Gieseking, Jesko Hecking-Harbusch, Ernst-Rüdiger Olderog)....Pages 64-76
Action-Based Model Checking: Logic, Automata, and Reduction (Stephen F. Siegel, Yihao Yan)....Pages 77-100
Global Guidance for Local Generalization in Model Checking (Hari Govind Vediramana Krishnan, YuTing Chen, Sharon Shoham, Arie Gurfinkel)....Pages 101-125
Towards Model Checking Real-World Software-Defined Networks (Vasileios Klimis, George Parisis, Bernhard Reus)....Pages 126-148
Front Matter ....Pages 149-149
Code2Inv: A Deep Learning Framework for Program Verification (Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song)....Pages 151-164
MetaVal: Witness Validation via Verification (Dirk Beyer, Martin Spiessl)....Pages 165-177
Recursive Data Structures in SPARK (Claire Dross, Johannes Kanig)....Pages 178-189
Ivy: A Multi-modal Verification Tool for Distributed Algorithms (Kenneth L. McMillan, Oded Padon)....Pages 190-202
Reasoning over Permissions Regions in Concurrent Separation Logic (James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson)....Pages 203-224
Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic (Azalea Raad, Josh Berdine, Hoang-Hai Dang, Derek Dreyer, Peter O’Hearn, Jules Villard)....Pages 225-252
Front Matter ....Pages 253-253
Maximum Causal Entropy Specification Inference from Demonstrations (Marcell Vazquez-Chanlatte, Sanjit A. Seshia)....Pages 255-278
Certifying Certainty and Uncertainty in Approximate Membership Query Structures (Kiran Gopinathan, Ilya Sergey)....Pages 279-303
Global PAC Bounds for Learning Discrete Time Markov Chains (Hugo Bazille, Blaise Genest, Cyrille Jegourel, Jun Sun)....Pages 304-326
Unbounded-Time Safety Verification of Stochastic Differential Dynamics (Shenghua Feng, Mingshuai Chen, Bai Xue, Sriram Sankaranarayanan, Naijun Zhan)....Pages 327-348
Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games (Kittiphon Phalakarn, Toru Takisaka, Thomas Haas, Ichiro Hasuo)....Pages 349-371
Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling (Michael Blondin, Javier Esparza, Martin Helfrich, Antonín Kučera, Philipp J. Meyer)....Pages 372-397
Stochastic Games with Lexicographic Reachability-Safety Objectives (Krishnendu Chatterjee, Joost-Pieter Katoen, Maximilian Weininger, Tobias Winkler)....Pages 398-420
Qualitative Controller Synthesis for Consumption Markov Decision Processes (František Blahoudek, Tomáš Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu)....Pages 421-447
STMC: Statistical Model Checker with Stratified and Antithetic Sampling (Nima Roohi, Yu Wang, Matthew West, Geir E. Dullerud, Mahesh Viswanathan)....Pages 448-460
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems (Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani)....Pages 461-474
PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time (Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos)....Pages 475-487
Optimistic Value Iteration (Arnd Hartmanns, Benjamin Lucien Kaminski)....Pages 488-511
PrIC3: Property Directed Reachability for MDPs (Kevin Batz, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer)....Pages 512-538
Front Matter ....Pages 539-539
Good-Enough Synthesis (Shaull Almagor, Orna Kupferman)....Pages 541-563
Synthesizing JIT Compilers for In-Kernel DSLs (Jacob Van Geffen, Luke Nelson, Isil Dillig, Xi Wang, Emina Torlak)....Pages 564-586
Program Synthesis Using Deduction-Guided Reinforcement Learning (Yanju Chen, Chenglong Wang, Osbert Bastani, Isil Dillig, Yu Feng)....Pages 587-610
Manthan: A Data-Driven Approach for Boolean Function Synthesis (Priyanka Golia, Subhajit Roy, Kuldeep S. Meel)....Pages 611-633
Decidable Synthesis of Programs with Uninterpreted Functions (Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan)....Pages 634-657
Must Fault Localization for Program Repair (Bat-Chen Rothenberg, Orna Grumberg)....Pages 658-680
Back Matter ....Pages 681-683
