ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I

دانلود کتاب تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، CAV 2017، هایدلبرگ، آلمان، 24-28 ژوئیه، 2017، مجموعه مقالات، قسمت اول

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

مشخصات کتاب

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

ویرایش:  
نویسندگان: ,   
سری: Lecture Notes in Computer Science 10426 
ISBN (شابک) : 9783319633879, 9783319633862 
ناشر: Springer International Publishing 
سال نشر: 2017 
تعداد صفحات: 610 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 21 مگابایت 

قیمت کتاب (تومان) : 43,000



کلمات کلیدی مربوط به کتاب تأیید به کمک رایانه: بیست و نهمین کنفرانس بین المللی، CAV 2017، هایدلبرگ، آلمان، 24-28 ژوئیه، 2017، مجموعه مقالات، قسمت اول: علوم کامپیوتر،علوم کامپیوتر، خرابی سیستم کامپیوتری، خرابی سیستم کامپیوتری، مهندسی نرم افزار، مهندسی نرم افزار، منطق کامپیوتر، منطق کامپیوتری، هوش مصنوعی، هوش مصنوعی، شبیه سازی کامپیوتری، شبیه سازی کامپیوتری، کامپیوتر، کامپیوتر



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب 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




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