دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Cinzia Bernardeschi, Nicoletta De Francesco (auth.), Agostino Cortesi (eds.) سری: Lecture Notes in Computer Science 2294 ISBN (شابک) : 9783540436317, 3540436316 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 340 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب تأیید، بررسی مدل و تفسیر خلاصه: کارگاه سوم بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه 2002، مقالات تجدید چاپ: علوم کامپیوتر، عمومی، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تأیید، بررسی مدل و تفسیر خلاصه: کارگاه سوم بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه 2002، مقالات تجدید چاپ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از داوری کامل سومین کارگاه بین
المللی در مورد تأیید، بررسی مدل و تفسیر چکیده، VMCAI 2002 است
که در ژانویه 2002 در ونیز، ایتالیا برگزار شد.
22 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و انتخاب شدند.
از 41 ارسال مقالات در بخش های موضوعی در مورد امنیت و پروتکل ها،
سیستم ها و بازی های زمان بندی شده، تجزیه و تحلیل استاتیک، بهینه
سازی، انواع و تایید، و منطق و سیستم های زمانی سازماندهی شده
اند.
This book constitutes the thoroughly refereed post-proceedings
of the Third International Workshop on Verification, Model
Checking, and Abstract Interpretation, VMCAI 2002, held in
Venice, Italy in January 2002.
The 22 revised full papers presented were carefully reviewed
and selected from 41 submissions. The papers are organized in
topical sections on security and protocols, timed systems and
games, static analysis, optimization, types and verification,
and temporal logics and systems.
Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode....Pages 1-15
Proofs Methods for Bisimulation Based Information Flow Security....Pages 16-31
A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines....Pages 32-45
Analyzing Cryptographic Protocols in a Reactive Framework....Pages 46-64
An Abstract Schema for Equivalence-Checking Games....Pages 65-78
Synchronous Closing of Timed SDL Systems for Model Checking....Pages 79-93
Automata-Theoretic Decision of Timed Games....Pages 94-108
Compositional Termination Analysis of Symbolic Forward Analysis....Pages 109-125
Combining Norms to Prove Termination....Pages 126-138
Static Monotonicity Analysis for λ-definable Functions over Lattices....Pages 139-153
A Refinement of the Escape Property....Pages 154-166
Storage Size Reduction by In-place Mapping of Arrays....Pages 167-181
Verifying BDD Algorithms through Monadic Interpretation....Pages 182-195
Improving the Encoding of LTL Model Checking into SAT....Pages 196-207
Automatic Verification of Probabilistic Free Choice....Pages 208-224
An Experiment in Type Inference and Verification by Abstract Interpretation....Pages 225-239
Weak Muller Acceptance Conditions for Tree Automata....Pages 240-254
A Fully Abstract Model for Higher-Order Mobile Ambients....Pages 255-271
A Simulation Preorder for Abstraction of Reactive Systems....Pages 272-288
Approximating ATL * in ATL....Pages 289-301
Model Checking Modal Transition Systems Using Kripke Structures....Pages 302-316
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness....Pages 317-330