مشخصات کتاب

25 Years of Model Checking History, Achievements, Perspectives

ویرایش:  
نویسندگان: Grumberg. Orna., Veith. Helmut  
سری: Lecture notes in computer science 5000 
ISBN (شابک) : 9783540698500, 3540698507 
ناشر: Springer Berlin Heidelberg 
سال نشر: 2008 
تعداد صفحات: 238 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 42 مگابایت 

کلمات کلیدی مربوط به کتاب 25 سال بررسی مدل، تاریخچه، دستاوردها، دیدگاه ها: منطق کامپیوتر، برنامه نویسی کامپیوتر، علوم کامپیوتر، علوم کامپیوتر، منطق، نمادین و ریاضی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلر، مترجمان، زبان های برنامه نویسی (رایانه های الکترونیکی)، تکنیک های برنامه نویسی، مهندسی نرم افزار، مهندسی نرم افزار، کتاب های الکترونیک

در صورت تبدیل فایل کتاب 25 Years of Model Checking History, Achievements, Perspectives به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب 25 سال بررسی مدل، تاریخچه، دستاوردها، دیدگاه ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب 25 سال بررسی مدل، تاریخچه، دستاوردها، دیدگاه ها

فناوری بررسی مدل یکی از مهمترین کاربردهای منطق در علوم کامپیوتر و مهندسی کامپیوتر است. جامعه بررسی مدل به پیشرفت‌های زیادی دست یافته است و شکاف بین علوم کامپیوتر نظری و مهندسی سخت‌افزار و نرم‌افزار را پر می‌کند و به حوزه‌های چالش‌برانگیز جدیدی مانند زیست‌شناسی سیستم و سیستم‌های ترکیبی دست می‌یابد. بررسی مدل به‌طور گسترده در صنعت سخت‌افزار استفاده می‌شود و همچنین برای تأیید انواع بسیاری از نرم‌افزارها استفاده شده است. بررسی مدل در برنامه های درسی علوم کامپیوتر و مهندسی برق در دانشگاه های سراسر جهان معرفی شده است و به یک ابزار جهانی برای تجزیه و تحلیل سیستم ها تبدیل شده است. این جلد Festschrift که به مناسبت بیست و پنجمین سالگرد بررسی مدل منتشر شد، شامل مجموعه ای از 11 مقاله دعوت شده بر اساس گفتگوهای سمپوزیوم "25 سال بررسی مدل"، 25MC است که بخشی از هجدهمین کنفرانس بین المللی کامپیوتر بود. Aided Verification (CAV 2006)، که به نوبه خود بخشی از کنفرانس منطق فدرال (FloC 2006) بود که در سیاتل، WA، ایالات متحده آمریکا، در اوت 2006 برگزار شد. بررسی مدل در حال حاضر توجه قابل توجهی را فراتر از جامعه فنی اصلی و ACM Turing جلب کرده است. جایزه 2007 به پاس قدردانی از کار تغییر پارادایم در این موضوع که ربع قرن پیش آغاز شد، اعطا شد. در اینجا ما آن دستاورد را با گنجاندن چاپ مجدد فکس از مقالات رویایی در مورد بررسی مدل توسط ادموند کلارک و آلن امرسون و توسط ژان پیر کوئیل و جوزف سیفاکیس گرامی می داریم. تولد بررسی مدل -- آغاز بررسی مدل: الف. دیدگاه شخصی -- انتقال فناوری تأیید -- چالش های جدید در بررسی مدل -- نگاهی به گذشته در مور؟ -- بررسی مدل: از ابزارها تا تئوری -- تکرار ارزش -- پانزده سال تأیید رسمی دارایی در اینتل -- نمایی از اتاق موتور: پشتیبانی محاسباتی برای بررسی مدل نمادین -- از کلیسا و قبل از PSL -- در محاسن آزمایش‌کنندگان زمانی -- طراحی و سنتز اسکلت‌های همگام‌سازی با استفاده از زمان انشعاب منطق زمانی -- مشخصات و تأیید سیستم‌های همگام در سزار.

توضیحاتی درمورد کتاب به خارجی

Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and hybrid systems. Model checking is extensively used in the hardware industry and has also been applied to the verification of many types of software. Model checking has been introduced into computer science and electrical engineering curricula at universities worldwide and has become a universal tool for the analysis of systems. This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, includes a collection of 11 invited papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification (CAV 2006), which in turn was part of the Federated Logic Conference (FLoC 2006) held in Seattle, WA, USA, in August 2006. Model checking is currently attracting considerable attention beyond the core technical community, and the ACM Turing Award 2007 was given in recognition of the paradigm-shifting work on this topic initiated a quarter century ago. Here we honor that achievement with the inclusion of facsimile reprints of the visionary papers on model checking by Edmund Clarke and Allen Emerson, and by Jean-Pierre Queille and Joseph Sifakis.;The Birth of Model Checking -- The Beginning of Model Checking: A Personal Perspective -- Verification Technology Transfer -- New Challenges in Model Checking -- A Retrospective on Mur? -- Model Checking: From Tools to Theory -- Value Iteration -- Fifteen Years of Formal Property Verification in Intel -- A View from the Engine Room: Computational Support for Symbolic Model Checking -- From Church and Prior to PSL -- On the Merits of Temporal Testers -- DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR.

فهرست مطالب

The Birth of Model Checking --
The Beginning of Model Checking: A Personal Perspective --
Verification Technology Transfer --
New Challenges in Model Checking --
A Retrospective on Mur? --
Model Checking: From Tools to Theory --
Value Iteration --
Fifteen Years of Formal Property Verification in Intel --
A View from the Engine Room: Computational Support for Symbolic Model Checking --
From Church and Prior to PSL --
On the Merits of Temporal Testers --
DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC --
SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Legendary Licks: An Inside Look at the Guitar Style of Michael Bloomfield

دانلود کتاب Language and Epilepsy

دانلود کتاب Indices, generales, simul et speciales, patrologiæ latinæ : alphabetice, chronologice, statistice, synthetice, analytice, analogice, logice, hierarchice, bibliographice, biographice, etc., etc., etc., et rerum specialitatem, concinnati: lectoris ad quæsitum quodlibet per immensam materiarum sylvam quasi manu ductores ; et catholicam traditionem redivivam complentes

دانلود کتاب Using Neuroscience in Trauma Therapy: Creative and Compassionate Counseling

دانلود کتاب Материалы С.П. 1 съезд  СДП. Документы и материалы