دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015, Proceedings
دانلود کتاب فناوری خودکار برای تأیید و تحلیل: سیزدهمین سمپوزیوم بین المللی ، ATVA 2015 شانگهای ، چین ، 12 تا 15 اکتبر 2015 ، مجموعه مقالات
مشخصات کتاب
Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015, Proceedings
ویرایش: 1 نویسندگان: Bernd Finkbeiner, Geguang Pu, Lijun Zhang (eds.) سری: Lecture Notes in Computer Science 9364 ISBN (شابک) : 9783319249520, 9783319249537 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 531 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب فناوری خودکار برای تأیید و تحلیل: سیزدهمین سمپوزیوم بین المللی ، ATVA 2015 شانگهای ، چین ، 12 تا 15 اکتبر 2015 ، مجموعه مقالات: مهندسی نرم افزار
در صورت تبدیل فایل کتاب Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015 Shanghai, China, October 12–15, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فناوری خودکار برای تأیید و تحلیل: سیزدهمین سمپوزیوم بین المللی ، ATVA 2015 شانگهای ، چین ، 12 تا 15 اکتبر 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فناوری خودکار برای تأیید و تحلیل: سیزدهمین سمپوزیوم بین المللی ، ATVA 2015 شانگهای ، چین ، 12 تا 15 اکتبر 2015 ، مجموعه مقالات
این کتاب مجموعه مقالات سیزدهمین سمپوزیوم بین‌المللی فناوری خودکار برای تأیید و تجزیه و تحلیل، ATVA 2015، در شانگهای، چین، در اکتبر 2015 است.
27 مقاله اصلاح‌شده با هم ارائه شده‌اند. با 6 مقاله ابزار در این جلد به دقت بررسی و از بین 95 مقاله ارسالی انتخاب شد. آنها تحقیقات فعلی را در مورد جنبه های نظری و عملی تجزیه و تحلیل، تأیید و سنتز خودکار با ارائه یک انجمن بین المللی برای تعامل بین محققان دانشگاه و صنعت نشان می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.
The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
فهرست مطالب
Front Matter....Pages -
Probabilistic Programming: A True Verification Challenge....Pages 1-3
Machines Reasoning About Machines: 2015....Pages 4-13
Using SMT for Solving Fragments of Parameterised Boolean Equation Systems....Pages 14-30
Unfolding-Based Process Discovery....Pages 31-47
Improving Interpolants for Linear Arithmetic....Pages 48-63
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences....Pages 64-79
On Automated Lemma Generation for Separation Logic with Inductive Definitions....Pages 80-96
Severity Levels of Inconsistent Code....Pages 97-113
Learning the Language of Error....Pages 114-130
Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage....Pages 131-147
Model Checking Failure-Prone Open Systems Using Probabilistic Automata....Pages 148-165
Optimal Continuous Time Markov Decisions....Pages 166-182
Spanning the Spectrum from Safety to Liveness....Pages 183-200
Marimba: A Tool for Verifying Properties of Hidden Markov Models....Pages 201-206
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols....Pages 207-213
ASSA-PBN: An Approximate Steady-State Analyser of Probabilistic Boolean Networks....Pages 214-220
EviCheck: Digital Evidence for Android....Pages 221-227
Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules....Pages 228-233
A Contextual Equivalence Checker for IMJ ∗ ....Pages 234-240
Trace Diagnostics Using Temporal Implicants....Pages 241-258
Test Case Generation of Actor Systems....Pages 259-275
Lattice-Based Semantics for Combinatorial Model Evolution....Pages 276-292
Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)....Pages 293-308
TSO-to-TSO Linearizability Is Undecidable....Pages 309-325
Formal Verification of Infinite-State BIP Models....Pages 326-343
PBMC: Symbolic Slicing for the Verification of Concurrent Programs....Pages 344-360
On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems....Pages 361-377
Hierarchical Information Patterns and Distributed Strategy Synthesis....Pages 378-393
Cooperative Reactive Synthesis....Pages 394-410
Game Semantic Analysis of Equivalence in IMJ....Pages 411-428
Looking at Mean-Payoff Through Foggy Windows....Pages 429-445
Bounded Verification with On-the-Fly Discrepancy Computation....Pages 446-463
Formal Verification of Simulink/Stateflow Diagrams....Pages 464-481
Decidability of the Reachability for a Family of Linear Vector Fields....Pages 482-499
Stochastic Local Search for Falsification of Hybrid Systems....Pages 500-517
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The posthuman condition : consciousness beyond the brain
