دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
دانلود کتاب تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، CAV 2017، هایدلبرگ، آلمان، 24-28 ژوئیه، 2017، مجموعه مقالات، قسمت دوم
مشخصات کتاب
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
ویرایش: نویسندگان: Kunčak. Viktor, Majumdar. Rupak سری: Lecture Notes in Computer Science 10427 ISBN (شابک) : 9783319633909, 9783319633893 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 630 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 21 مگابایت
قیمت کتاب (تومان) : 58,000
کلمات کلیدی مربوط به کتاب تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، CAV 2017، هایدلبرگ، آلمان، 24-28 ژوئیه، 2017، مجموعه مقالات، قسمت دوم: علوم کامپیوتر، علوم کامپیوتر، برنامه نویسی کامپیوتر، برنامه نویسی کامپیوتر، مهندسی نرم افزار، مهندسی نرم افزار، زبان های برنامه نویسی (رایانه های الکترونیکی)، منطق کامپیوتر، منطق کامپیوتر، منطق ریاضی، کامپیوتر، کامپیوتر، منطق، نمادین و ریاضی، زبان های برنامه نویسی (کامپیوترهای الکترونیکی)
در صورت تبدیل فایل کتاب Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، CAV 2017، هایدلبرگ، آلمان، 24-28 ژوئیه، 2017، مجموعه مقالات، قسمت دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، CAV 2017، هایدلبرگ، آلمان، 24-28 ژوئیه، 2017، مجموعه مقالات، قسمت دوم
مجموعه دو جلدی LNCS 10426 و LNCS 10427 مجموعه مقالات داوری
بیست و نهمین کنفرانس بین المللی تأیید به کمک رایانه، CAV 2017،
در هایدلبرگ، آلمان، در ژوئیه 2017 برگزار شد. مجموع 50 مقاله
کامل و 7 مقاله کوتاه همراه با 5 مقاله ارائه شده است. نکات کلیدی
و آموزشی در این جلسات به دقت بررسی و از بین 191 مورد ارسالی
انتخاب شد. مجموعه کنفرانس CAV به پیشرفت تئوری و عمل تجزیه و
تحلیل رسمی سیستم های سخت افزاری و نرم افزاری به کمک رایانه
اختصاص دارد. این کنفرانس طیفی از نتایج نظری تا کاربردهای عینی
را با تأکید بر ابزارهای تأیید عملی و الگوریتم ها و تکنیک های
مورد نیاز برای اجرای آنها پوشش می دهد. بیشتر بخوانید.
..
چکیده: مجموعه دو جلدی LNCS 10426 و LNCS 10427 مجموعه مقالات
داوری بیست و نهمین کنفرانس بین المللی تأیید به کمک رایانه، CAV
2017، که در هایدلبرگ برگزار شد، تشکیل می شود. آلمان، در ژوئیه
2017. مجموع 50 مقاله کامل و 7 مقاله کوتاه ارائه شده همراه با 5
نکته کلیدی و آموزش در مجموعه مقالات به دقت بررسی و از بین 191
مقاله ارسالی انتخاب شد. مجموعه کنفرانس CAV به پیشرفت تئوری و
عمل تجزیه و تحلیل رسمی سیستم های سخت افزاری و نرم افزاری به کمک
کامپیوتر اختصاص دارد. این کنفرانس طیفی از نتایج نظری تا
کاربردهای عینی را با تأکید بر ابزارهای تأیید عملی و الگوریتم ها
و تکنیک های مورد نیاز برای اجرای آنها پوشش می دهد.
توضیحاتی درمورد کتاب به خارجی
The two-volume set LNCS 10426 and LNCS 10427 constitutes the
refereed proceedings of the 29th International Conference on
Computer Aided Verification, CAV 2017, held in Heidelberg,
Germany, in July 2017. The total of 50 full and 7 short papers
presented together with 5 keynotes and tutorials in the
proceedings was carefully reviewed and selected from 191
submissions. The CAV conference series is dedicated to the
advancement of the
theory and practice of computer-aided formal analysis of
hardware and software systems. The conference covers the
spectrum from theoretical results to concrete applications,
with an emphasis on practical verification tools and the
algorithms and techniques that are needed for their
implementation. Read
more...
Abstract: The two-volume set LNCS 10426 and LNCS 10427
constitutes the refereed proceedings of the 29th International
Conference on Computer Aided Verification, CAV 2017, held in
Heidelberg, Germany, in July 2017. The total of 50 full and 7
short papers presented together with 5 keynotes and tutorials
in the proceedings was carefully reviewed and selected from 191
submissions. The CAV conference series is dedicated to the
advancement of the theory and practice of computer-aided formal
analysis of hardware and software systems. The conference
covers the spectrum from theoretical results to concrete
applications, with an emphasis on practical verification tools
and the algorithms and techniques that are needed for their
implementation
فهرست مطالب
Front Matter ....Pages I-XVII
Front Matter ....Pages 1-1
Verified Compilation of Space-Efficient Reversible Circuits (Matthew Amy, Martin Roetteler, Krysta M. Svore)....Pages 3-21
Ascertaining Uncertainty for Efficient Exact Cache Analysis (Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke)....Pages 22-40
Non-polynomial Worst-Case Analysis of Recursive Programs (Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady)....Pages 41-63
Automated Resource Analysis with Coq Proof Objects (Quentin Carbonneaux, Jan Hoffmann, Thomas Reps, Zhong Shao)....Pages 64-85
Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis (Adrià Gascón, Ashish Tiwari, Brent Carmer, Umang Mathur)....Pages 86-103
E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods (Eshan Singh, Clark Barrett, Subhasish Mitra)....Pages 104-125
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq (Burak Ekici, Alain Mebsout, Cesare Tinelli, Chantal Keller, Guy Katz, Andrew Reynolds et al.)....Pages 126-133
Front Matter ....Pages 135-135
Efficient Parallel Strategy Improvement for Parity Games (John Fearnley)....Pages 137-154
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems (Marie Fortin, Anca Muscholl, Igor Walukiewicz)....Pages 155-175
Minimization of Symbolic Transducers (Olli Saarikivi, Margus Veanes)....Pages 176-196
Abstract Interpretation with Unfoldings (Marcelo Sousa, César Rodríguez, Vijay D’Silva, Daniel Kroening)....Pages 197-216
Cutoff Bounds for Consensus Algorithms (Ognjen Marić, Christoph Sprenger, David Basin)....Pages 217-237
Towards Verifying Nonlinear Integer Arithmetic (Paul Beame, Vincent Liew)....Pages 238-258
Front Matter ....Pages 259-259
Network-Wide Configuration Synthesis (Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev)....Pages 261-281
Verifying Equivalence of Spark Programs (Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, Mooly Sagiv)....Pages 282-300
Synchronization Synthesis for Network Programs (Jedidiah McClurg, Hossein Hojjat, Pavol Černý)....Pages 301-321
Front Matter ....Pages 323-323
BoSy: An Experimentation Framework for Bounded Synthesis (Peter Faymonville, Bernd Finkbeiner, Leander Tentrup)....Pages 325-332
Bounded Synthesis for Streett, Rabin, and \\(\\text {CTL}^{*}\\) (Ayrat Khalimov, Roderick Bloem)....Pages 333-352
Quantitative Assume Guarantee Synthesis (Shaull Almagor, Orna Kupferman, Jan Oliver Ringert, Yaron Velner)....Pages 353-374
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (Luca Cardelli, Milan Češka, Martin Fränzle, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti et al.)....Pages 375-395
Front Matter ....Pages 397-397
Model Counting for Recursively-Defined Strings (Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar)....Pages 399-418
A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT (Sylvain Conchon, Mohamed Iguernlala, Kailiang Ji, Guillaume Melquiond, Clément Fumex)....Pages 419-435
A Correct-by-Decision Solution for Simultaneous Place and Route (Alexander Nadel)....Pages 436-452
Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification (Andrew Reynolds, Maverick Woo, Clark Barrett, David Brumley, Tianyi Liang, Cesare Tinelli)....Pages 453-474
On Expansion and Resolution in CEGAR Based QBF Solving (Leander Tentrup)....Pages 475-494
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic (Quang Loc Le, Makoto Tatsuta, Jun Sun, Wei-Ngan Chin)....Pages 495-517
Front Matter ....Pages 519-519
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts (Andrei Marian Dan, Manu Sridharan, Satish Chandra, Jean-Baptiste Jeannin, Martin Vechev)....Pages 521-541
Proving Linearizability Using Forward Simulations (Ahmed Bouajjani, Michael Emmi, Constantin Enea, Suha Orhun Mutluergil)....Pages 542-563
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties (Bernd Finkbeiner, Christopher Hahn, Marvin Stenger)....Pages 564-570
Automating Induction for Solving Horn Clauses (Hiroshi Unno, Sho Torii, Hiroki Sakamoto)....Pages 571-591
A Storm is Coming: A Modern Probabilistic Model Checker (Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk)....Pages 592-600
On Multiphase-Linear Ranking Functions (Amir M. Ben-Amram, Samir Genaim)....Pages 601-620
Back Matter ....Pages 621-623
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Unterhaltsame Geometrie
دانلود کتاب Educar en Apurímac: Resistencia creadora en tiempos de pandemia
دانلود کتاب Handbook of Climate Services
دانلود کتاب Chinese Business Under Socialism: The Politics of Domestic Commerce, 1949-1980
