دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
دانلود کتاب مشکلات دستیابی: پنجمین کارگاه بین المللی ، RP 2011 ، جنوا ، ایتالیا ، 28-30 سپتامبر ، 2011. مجموعه مقالات
مشخصات کتاب
Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings
ویرایش: 1 نویسندگان: Krishnendu Chatterjee (auth.), Giorgio Delzanno, Igor Potapov (eds.) سری: Lecture Notes in Computer Science 6945 ISBN (شابک) : 3642242871, 9783642242885 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 260 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 33,000
کلمات کلیدی مربوط به کتاب مشکلات دستیابی: پنجمین کارگاه بین المللی ، RP 2011 ، جنوا ، ایتالیا ، 28-30 سپتامبر ، 2011. مجموعه مقالات: منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، منطق ریاضی و زبان‌های رسمی، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه‌های انتزاعی
در صورت تبدیل فایل کتاب Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشکلات دستیابی: پنجمین کارگاه بین المللی ، RP 2011 ، جنوا ، ایتالیا ، 28-30 سپتامبر ، 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشکلات دستیابی: پنجمین کارگاه بین المللی ، RP 2011 ، جنوا ، ایتالیا ، 28-30 سپتامبر ، 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری پنجمین کارگاه بین المللی مشکلات
دسترسی، RP 2011، برگزار شده در جنوا، ایتالیا، در سپتامبر 2011
است.
16 مقاله ارائه شده به همراه 4 گفتگوی دعوت شده به دقت بررسی و
از 24 مورد انتخاب شدند. ارسالی ها این کارگاه به مشکلات
دستیابی می پردازد که در ساختارهای جبری، مدل های محاسباتی،
سیستم های ترکیبی، منطق و تأیید ظاهر می شوند. قابلیت دسترسی یک
مشکل اساسی است که در چندین زمینه مختلف ظاهر می شود: سیستم های
همزمان با حالت محدود و نامحدود، مدل های محاسباتی مانند
اتوماتای سلولی و شبکه های پتری، روش های تصمیم گیری برای
منطق کلاسیک، مدال و زمانی، تجزیه و تحلیل برنامه، سیستم های
گسسته و پیوسته، زمان بحرانی. سیستم‌ها و سیستم‌های باز
مدل‌سازی شده به عنوان بازی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th
International Workshop on Reachability Problems, RP 2011,
held in Genoa, Italy, in September 2011.
The 16 papers presented together with 4 invited talks were
carefully reviewed and selected from 24 submissions. The
workshop deals with reachability problems that appear in
algebraic structures, computational models, hybrid systems,
logic, and verification. Reachability is a fundamental
problem that appears in several different contexts: finite-
and infinite-state concurrent systems, computational models
like cellular automata and Petri nets, decision procedures
for classical, modal and temporal logic, program analysis,
discrete and continuous systems, time critical systems, and
open systems modelled as games.
فهرست مطالب
Front Matter....Pages -
Graph Games with Reachability Objectives....Pages 1-1
Observing Continuous-Time MDPs by 1-Clock Timed Automata....Pages 2-25
Automata for Monadic Second-Order Model-Checking....Pages 26-27
Reachability Problems for Hybrid Automata....Pages 28-30
Synthesis of Timing Parameters Satisfying Safety Properties....Pages 31-44
Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics....Pages 45-57
Completeness of the Bounded Satisfiability Problem for Constraint LTL....Pages 58-71
Characterizing Conclusive Approximations by Logical Formulae....Pages 72-84
Decidability of LTL for Vector Addition Systems with One Zero-Test....Pages 85-95
Complexity Analysis of the Backward Coverability Algorithm for VASS....Pages 96-109
Automated Termination in Model Checking Modulo Theories....Pages 110-124
Monotonic Abstraction for Programs with Multiply-Linked Structures....Pages 125-138
Efficient Bounded Reachability Computation for Rectangular Automata....Pages 139-152
Reachability and Deadlocking Problems in Multi-stage Scheduling....Pages 153-164
Improving Reachability Analysis of Infinite State Systems by Specialization....Pages 165-179
Lower Bounds for the Length of Reset Words in Eulerian Automata....Pages 180-190
Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method....Pages 191-204
A New Weakly Universal Cellular Automaton in the 3 D Hyperbolic Space with Two States....Pages 205-217
A Fully Symbolic Bisimulation Algorithm....Pages 218-230
Reachability for Finite-State Process Algebras Using Static Analysis....Pages 231-244
Back Matter....Pages -
