دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
دانلود کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: ششمین سمپوزیوم بین المللی، ATVA 2008، سئول، کره، 20-23 اکتبر 2008. مجموعه مقالات
مشخصات کتاب
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
ویرایش: 1 نویسندگان: Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.) سری: Lecture Notes in Computer Science 5311 : Programming and Software Engineering ISBN (شابک) : 354088386X, 9783540883869 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 440 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 28,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: ششمین سمپوزیوم بین المللی، ATVA 2008، سئول، کره، 20-23 اکتبر 2008. مجموعه مقالات: منطق و معانی برنامه‌ها، سیستم‌های اطلاعاتی و خدمات ارتباطی، شبکه‌های ارتباطی کامپیوتری، سیستم‌های هدف خاص و مبتنی بر کاربرد، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان
در صورت تبدیل فایل کتاب Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: ششمین سمپوزیوم بین المللی، ATVA 2008، سئول، کره، 20-23 اکتبر 2008. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: ششمین سمپوزیوم بین المللی، ATVA 2008، سئول، کره، 20-23 اکتبر 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین سمپوزیوم بین‌المللی فناوری خودکار برای تأیید و تحلیل، ATVA 2008، در سئول، کره، در اکتبر 2008 است.
21 مقاله کامل اصلاح‌شده 5 مقاله کوتاه و 7 مقاله ابزار ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 82 مقاله ارسالی انتخاب شدند. تمرکز بر روش‌های نظری برای دستیابی به سیستم‌های نرم‌افزاری یا سخت‌افزاری صحیح، از جمله جنبه‌های کاربردی و غیرعملکردی است. و همچنین در مورد کاربردهای تئوری در روش های مهندسی و حوزه های خاص و رسیدگی به مشکلات عملی موجود در ابزارها. مقالات در بخش‌های موضوعی بررسی مدل، تأیید نرم‌افزار، روش‌های تصمیم‌گیری، تحلیل زمان خطی، مقالات نمایش ابزار، سیستم‌های زمان‌بندی‌شده و تصادفی، تئوری و مقالات کوتاه سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008.
The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 82 submissions. The focos lies on theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as on applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools. The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.
فهرست مطالب
Front Matter....Pages -
Tests, Proofs and Refinements....Pages 1-2
Formal Verification and Biology....Pages 3-3
Trust and Automation in Verification Tools....Pages 4-17
CTL Model-Checking with Graded Quantifiers....Pages 18-32
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms....Pages 33-47
Computation Tree Regular Logic for Genetic Regulatory Networks....Pages 48-63
Compositional Verification for Component-Based Systems and Application....Pages 64-79
A Direct Algorithm for Multi-valued Bounded Model Checking....Pages 80-94
Model Checking Recursive Programs with Exact Predicate Abstraction....Pages 95-110
Loop Summarization Using Abstract Transformers....Pages 111-125
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions....Pages 126-140
Automating Algebraic Specifications of Non-freely Generated Data Types....Pages 141-155
Interpolants for Linear Arithmetic in SMT....Pages 156-170
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems....Pages 171-185
SMELS: Satisfiability Modulo Equality with Lazy Superposition....Pages 186-200
Controllable Test Cases for the Distributed Test Architecture....Pages 201-215
Goanna: Syntactic Software Model Checking....Pages 216-221
A Dynamic Assertion-Based Verification Platform for Validation of UML Designs....Pages 222-227
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications....Pages 228-233
DiVinE Multi-Core – A Parallel LTL Model-Checker....Pages 234-239
Alaska ....Pages 240-245
NetQi: A Model Checker for Anticipation Game....Pages 246-251
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT....Pages 252-257
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions....Pages 258-273
Decidable Compositions of O-Minimal Automata....Pages 274-288
On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation Policies....Pages 289-302
Model Based Importance Analysis for Minimal Cut Sets....Pages 303-317
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic....Pages 318-331
Tree Pattern Rewriting Systems....Pages 332-346
Deciding Bisimilarity of Full BPA Processes Locally....Pages 347-360
Optimal Strategy Synthesis in Request-Response Games....Pages 361-373
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol....Pages 374-385
Impartial Anticipation in Runtime-Verification....Pages 386-396
Run-Time Monitoring of Electronic Contracts....Pages 397-407
Practical Efficient Modular Linear-Time Model-Checking....Pages 408-417
Passive Testing of Timed Systems....Pages 418-427
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Lonely Planet Georgia, Armenia & Azerbaijan 7 (Travel Guide)
دانلود کتاب Oral radiology : principles and interpretation
دانلود کتاب Implizite Theorien in der Politik: Interpretationsprobleme regionaler Technologiepolitik
