دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: نویسندگان: Kunčak. Viktor, Majumdar. Rupak سری: Lecture Notes in Computer Science 10426 ISBN (شابک) : 9783319633879, 9783319633862 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 610 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 21 مگابایت
کلمات کلیدی مربوط به کتاب تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، CAV 2017، هایدلبرگ، آلمان، 24-28 ژوئیه، 2017، مجموعه مقالات، قسمت اول: علوم کامپیوتر،علوم کامپیوتر، خرابی سیستم کامپیوتری، خرابی سیستم کامپیوتری، مهندسی نرم افزار، مهندسی نرم افزار، منطق کامپیوتر، منطق کامپیوتری، هوش مصنوعی، هوش مصنوعی، شبیه سازی کامپیوتری، شبیه سازی کامپیوتری، کامپیوتر، کامپیوتر
در صورت تبدیل فایل کتاب Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، 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-XIX
Front Matter ....Pages 1-1
Safety Verification of Deep Neural Networks (Xiaowei Huang, Marta Kwiatkowska, Sen Wang, Min Wu)....Pages 3-29
Program Verification Under Weak Memory Consistency Using Separation Logic (Viktor Vafeiadis)....Pages 30-46
The Power of Symbolic Automata and Transducers (Loris D’Antoni, Margus Veanes)....Pages 47-67
Maximum Satisfiability in Software Analysis: Applications and Techniques (Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik)....Pages 68-94
Front Matter ....Pages 95-95
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks (Guy Katz, Clark Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer)....Pages 97-117
Automated Recurrence Analysis for Almost-Linear Expected-Runtime Bounds (Krishnendu Chatterjee, Hongfei Fu, Aniket Murhekar)....Pages 118-139
Markov Automata with Multiple Objectives (Tim Quatmann, Sebastian Junges, Joost-Pieter Katoen)....Pages 140-159
Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes (Christel Baier, Joachim Klein, Linda Leuschner, David Parker, Sascha Wunderlich)....Pages 160-180
Repairing Decision-Making Programs Under Uncertainty (Aws Albarghouthi, Loris D’Antoni, Samuel Drews)....Pages 181-200
Value Iteration for Long-Run Average Reward in Markov Decision Processes (Pranav Ashok, Krishnendu Chatterjee, Przemysław Daca, Jan Křetínský, Tobias Meggendorfer)....Pages 201-221
Front Matter ....Pages 223-223
STLInspector: STL Validation with Guarantees (Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer)....Pages 225-232
Learning a Static Analyzer from Data (Pavol Bielik, Veselin Raychev, Martin Vechev)....Pages 233-253
Synthesis with Abstract Examples (Dana Drachsler-Cohen, Sharon Shoham, Eran Yahav)....Pages 254-278
Data-Driven Synthesis of Full Probabilistic Programs (Sarah Chasins, Phitchaya Mangpo Phothilimthana)....Pages 279-304
Logical Clustering and Learning for Time-Series Data (Marcell Vazquez-Chanlatte, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Sanjit A. Seshia)....Pages 305-325
Front Matter ....Pages 327-327
Montre: A Tool for Monitoring Timed Regular Expressions (Dogan Ulus)....Pages 329-335
Runtime Monitoring with Recovery of the SENT Communication Protocol (Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci et al.)....Pages 336-355
Runtime Verification of Temporal Properties over Out-of-Order Data Streams (David Basin, Felix Klaedtke, Eugen Zălinescu)....Pages 356-376
Front Matter ....Pages 377-377
Lagrangian Reachabililty (Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul Jones, Scott A. Smolka, Radu Grosu)....Pages 379-400
Simulation-Equivalent Reachability of Large Linear Systems with Inputs (Stanley Bak, Parasara Sridhar Duggirala)....Pages 401-420
MightyL: A Compositional Translation from MITL to Timed Automata (Thomas Brihaye, Gilles Geeraerts, Hsi-Ming Ho, Benjamin Monmege)....Pages 421-440
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems (Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan)....Pages 441-461
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas Cordeiro, Cristina David, Pascal Kesseli et al.)....Pages 462-482
Classification and Coverage-Based Falsification for Embedded Control Systems (Arvind Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin)....Pages 483-503
Front Matter ....Pages 505-505
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs (Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania)....Pages 507-525
Context-Sensitive Dynamic Partial Order Reduction (Elvira Albert, Puri Arenas, María García de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey)....Pages 526-543
Starling: Lightweight Concurrency Verification with Views (Matt Windsor, Mike Dodds, Ben Simner, Matthew J. Parkinson)....Pages 544-569
Compositional Model Checking with Incremental Counter-Example Construction (Anton Wijs, Thomas Neele)....Pages 570-590
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems (Nikola Beneš, Luboš Brim, Martin Demko, Samuel Pastva, David Šafránek)....Pages 591-598
Back Matter ....Pages 599-601