دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
دانلود کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و چهارمین کنفرانس بین‌المللی، TACAS 2018، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS 2018، تسالونیکی، یونان، 14-20 آوریل 2018، مجموعه مقالات، بخش برگزار شد. من
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
ویرایش: 1st ed.
نویسندگان: Dirk Beyer. Marieke Huisman
سری: Lecture Notes in Computer Science 10805
ISBN (شابک) : 9783319899596, 9783319899602
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 439
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 18 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و چهارمین کنفرانس بین‌المللی، TACAS 2018، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS 2018، تسالونیکی، یونان، 14-20 آوریل 2018، مجموعه مقالات، بخش برگزار شد. من: علوم کامپیوتر، منطق و معانی برنامه‌ها، مهندسی نرم‌افزار/برنامه‌نویسی و سیستم‌های عامل، محاسبات محاسباتی، ساختارهای داده، رمز شناسی و نظریه اطلاعات، عملکرد و ارزیابی سیستم
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و چهارمین کنفرانس بین‌المللی، TACAS 2018، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS 2018، تسالونیکی، یونان، 14-20 آوریل 2018، مجموعه مقالات، بخش برگزار شد. من نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و چهارمین کنفرانس بین‌المللی، TACAS 2018، به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS 2018، تسالونیکی، یونان، 14-20 آوریل 2018، مجموعه مقالات، بخش برگزار شد. من
این کتاب تحت مجوز CC BY دسترسی آزاد است.
مجموعه اقدامات LNCS 10805 و 10806 مجموعه مقالات بیست و چهارمین کنفرانس بین المللی ابزارها و الگوریتم ها برای ساخت و تجزیه و تحلیل سیستم ها، TACAS 2018 است که در سال 2018 در تسالونیکی، یونان، در آوریل 2018 برگزار شد. کنفرانس مشترک اروپایی نظریه و عمل نرم افزار، ETAPS 2018.
مجموع 43 مقاله کامل و 11 مقاله کوتاه ارائه شده در این مجلدها به دقت بررسی و از 154 مقاله ارسالی انتخاب شدند. مقالات در بخش های موضوعی به شرح زیر سازماندهی شده اند:
بخش اول: اثبات قضیه. SAT و SMT I; تأیید قیاسی؛ تایید و بهینه سازی نرم افزار؛ بررسی مدل؛ و یادگیری ماشینی.
بخش دوم: سیستم های همزمان و توزیع شده. SAT و SMT II. سیستم های امنیتی و واکنشی؛ تجزیه و تحلیل برنامه استاتیک و پویا؛ سیستم های ترکیبی و تصادفی؛ منطق زمانی و mu-calculus. هفتمین مسابقه در تأیید نرم افزار - SV-COMP.
توضیحاتی درمورد کتاب به خارجی
This book is Open Access under a CC BY licence.
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.
The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:
Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.
Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.
فهرست مطالب
Front Matter ....Pages I-XX
Front Matter ....Pages 1-1
Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning (Giles Reger, Martin Suda, Andrei Voronkov)....Pages 3-22
Efficient Verification of Imperative Programs Using Auto2 (Bohua Zhan)....Pages 23-40
Frame Inference for Inductive Entailment Proofs in Separation Logic (Quang Loc Le, Jun Sun, Shengchao Qin)....Pages 41-60
Verified Model Checking of Timed Automata (Simon Wimmer, Peter Lammich)....Pages 61-78
Front Matter ....Pages 79-79
Chain Reduction for Binary and Zero-Suppressed Decision Diagrams (Randal E. Bryant)....Pages 81-98
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving (Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon)....Pages 99-114
Automatic Generation of Precise and Useful Commutativity Conditions (Kshitij Bansal, Eric Koskinen, Omer Tripp)....Pages 115-132
Bit-Vector Model Counting Using Statistical Estimation (Seonmo Kim, Stephen McCamant)....Pages 133-151
Front Matter ....Pages 153-153
Hoare Logics for Time Bounds (Maximilian P. L. Haslbeck, Tobias Nipkow)....Pages 155-171
A Verified Implementation of the Bounded List Container (Raphaël Cauderlier, Mihaela Sighireanu)....Pages 172-189
Automating Deductive Verification for Weak-Memory Programs (Alexander J. Summers, Peter Müller)....Pages 190-209
Front Matter ....Pages 211-211
Property Checking Array Programs Using Loop Shrinking (Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah)....Pages 213-231
Invariant Synthesis for Incomplete Verification Engines (Daniel Neider, Pranav Garg, P. Madhusudan, Shambwaditya Saha, Daejun Park)....Pages 232-250
Accelerating Syntax-Guided Invariant Synthesis (Grigory Fedyukovich, Rastislav Bodík)....Pages 251-269
Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper) (Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, Robert Bastian)....Pages 270-287
Front Matter ....Pages 289-289
Oink: An Implementation and Evaluation of Modern Parity Game Solvers (Tom van Dijk)....Pages 291-308
More Scalable LTL Model Checking via Discovering Design-Space Dependencies (\(D^{3}\)) (Rohit Dureja, Kristin Yvonne Rozier)....Pages 309-327
Generation of Minimum Tree-Like Witnesses for Existential CTL (Chuan Jiang, Gianfranco Ciardo)....Pages 328-343
From Natural Projection to Partial Model Checking and Back (Gabriele Costa, David Basin, Chiara Bodei, Pierpaolo Degano, Letterio Galletta)....Pages 344-361
Front Matter ....Pages 363-363
ICE-Based Refinement Type Discovery for Higher-Order Functional Programs (Adrien Champion, Tomoya Chiba, Naoki Kobayashi, Ryosuke Sato)....Pages 365-384
Strategy Representation by Decision Trees in Reactive Synthesis (Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Viktor Toman)....Pages 385-407
Feature-Guided Black-Box Safety Testing of Deep Neural Networks (Matthew Wicker, Xiaowei Huang, Marta Kwiatkowska)....Pages 408-426
Back Matter ....Pages 427-429
