مشخصات کتاب

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

ویرایش:  
نویسندگان: 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، مجموعه مقالات، قسمت اول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Treatise on fruit trees: including their pictures, descriptions, cultivations, &c. Volume I

دانلود کتاب Professional Android Application Development

دانلود کتاب Climate Change and Social Movements: Civil Society and the Development of National Climate Change Policy

دانلود کتاب Narrative Policy Analysis: Theory and Practice

دانلود کتاب Слухання у Комітеті на тему 'Антикорупційна політика і практика. Проблеми законодавчого забезпечення'