دانلود کتاب Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: ششمین سمپوزیوم بین المللی، ATVA 2008، سئول، کره، 20-23 اکتبر 2008. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب فناوری خودکار برای تأیید و تجزیه و تحلیل: ششمین سمپوزیوم بین المللی، ATVA 2008، سئول، کره، 20-23 اکتبر 2008. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
نام کتاب : Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : فناوری خودکار برای تأیید و تجزیه و تحلیل: ششمین سمپوزیوم بین المللی، ATVA 2008، سئول، کره، 20-23 اکتبر 2008. مجموعه مقالات
سری : Lecture Notes in Computer Science 5311 : Programming and Software Engineering
نویسندگان : Sriram K. Rajamani (auth.), Sungdeok (Steve) Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2008
تعداد صفحات : 440
ISBN (شابک) : 354088386X , 9783540883869
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری ششمین سمپوزیوم بین المللی فناوری خودکار برای تأیید و تجزیه و تحلیل، ATVA 2008، در سئول، کره، در اکتبر 2008 است.
21 مقاله کامل اصلاح شده 5 مقاله کوتاه و 7 مقاله ابزار ارائه شده همراه با 3 سخنرانی دعوت شده به دقت بررسی و از بین 82 مقاله ارسالی انتخاب شدند. تمرکز بر روش‌های نظری برای دستیابی به سیستم‌های نرم‌افزاری یا سخت‌افزاری صحیح، از جمله جنبه‌های کاربردی و غیرعملکردی است. و همچنین در مورد کاربردهای تئوری در روش های مهندسی و حوزه های خاص و رسیدگی به مشکلات عملی موجود در ابزارها. مقالات در بخش‌های موضوعی بررسی مدل، تأیید نرم‌افزار، روش‌های تصمیم‌گیری، تحلیل زمان خطی، مقالات نمایش ابزار، سیستم‌های زمان‌بندی‌شده و تصادفی، تئوری و مقالات کوتاه سازمان‌دهی شده‌اند.
فهرست مطالب :
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 -
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی