دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
دانلود کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و سومین کنفرانس بین‌المللی، TACAS 2017، برگزار شده به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات، II
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
ویرایش: 1
نویسندگان: Axel Legay. Tiziana Margaria (eds.)
سری: Lecture Notes in Computer Science 10206
ISBN (شابک) : 9783662545805, 9783662545799
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2017
تعداد صفحات: 426
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 مگابایت
قیمت کتاب (تومان) : 49,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و سومین کنفرانس بین‌المللی، TACAS 2017، برگزار شده به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات، II: منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسائل، مهندسی نرم افزار، محاسبات با دستگاه های انتزاعی، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و سومین کنفرانس بین‌المللی، TACAS 2017، برگزار شده به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات، II نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: بیست و سومین کنفرانس بین‌المللی، TACAS 2017، برگزار شده به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات، II
مجموعه دو کتابی LNCS 10205 + 10206 مجموعه مقالات بیست و سومین کنفرانس بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS 2017 است که در آوریل 2017 در اوپسالا، سوئد برگزار شد. کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2017.
48 مقاله کامل، 4 مقاله نمایش ابزار و 12 مقاله مسابقه نرم افزار ارائه شده در این مجلدها به دقت بررسی و از 181 مقاله ارسالی به TACAS و 32 مقاله ارسالی به TACAS انتخاب شدند. رقابت نرم افزاری آنها در بخش های موضوعی به نام های زیر سازماندهی شدند: تکنیک های تایید. یادگیری؛ سنتز؛ خودکار؛ همزمانی و شبیه سازی؛ سیستم های هیبریدی؛ امنیت؛ تایید زمان اجرا و منطق. سیستم های کمی؛ SAT و SMT؛ و SV COMP.
توضیحاتی درمورد کتاب به خارجی
The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.
فهرست مطالب
Front Matter....Pages I-XXIV
Front Matter....Pages 1-1
Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions....Pages 3-20
Discriminating Traces with Time....Pages 21-37
Directed Automated Memory Performance Testing....Pages 38-55
Context-Bounded Analysis for POWER....Pages 56-74
Front Matter....Pages 75-75
Rewriting-Based Runtime Verification for Alternation-Free HyperLTL....Pages 77-93
Almost Event-Rate Independent Monitoring of Metric Temporal Logic....Pages 94-112
Optimal Translation of LTL to Limit Deterministic Automata....Pages 113-129
Front Matter....Pages 131-131
Sequential Convex Programming for the Efficient Verification of Parametric MDPs....Pages 133-150
JANI: Quantitative Model and Tool Interaction....Pages 151-168
Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults....Pages 169-187
Long-Run Rewards for Markov Automata....Pages 188-203
Front Matter....Pages 205-205
HiFrog: SMT-based Function Summarization for Software Verification....Pages 207-213
Congruence Closure with Free Variables....Pages 214-230
On Optimization Modulo Theories, MaxSMT and Sorting Networks....Pages 231-248
The Automatic Detection of Token Structures and Invariants Using SAT Checking....Pages 249-265
Front Matter....Pages 267-267
Maximizing the Conditional Expected Reward for Reaching the Goal....Pages 269-285
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans....Pages 286-302
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations....Pages 303-309
Front Matter....Pages 310-328
Software Verification with Validation of Results....Pages 329-329
Front Matter....Pages 331-349
CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions....Pages 329-329
DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs....Pages 350-354
HipTNT+: A Termination and Non-termination Analyzer by Second-Order Abduction....Pages 355-359
Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation....Pages 360-364
Skink: Static Analysis of Programs in LLVM Intermediate Representation....Pages 365-369
Symbiotic 4: Beyond Reachability....Pages 370-374
Optimizing and Caching SMT Queries in SymDIVINE....Pages 375-379
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata....Pages 380-384
Ultimate Taipan: Trace Abstraction and Abstract Interpretation....Pages 385-389
VeriAbs: Verification by Abstraction (Competition Contribution)....Pages 390-393
Back Matter....Pages 394-398
....Pages 399-403
