دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A Survey of Recent Advances in SAT-Based Formal Verification
دانلود کتاب بررسی پیشرفت های اخیر در تایید رسمی بر اساس SAT
مشخصات کتاب
A Survey of Recent Advances in SAT-Based Formal Verification
ویرایش:
نویسندگان: Hans Kleine Büning. Theodor Lettmann
سری: Software Tools for Technology Transfer
ISBN (شابک) : 9780521630177, 0521630177
ناشر:
سال نشر: 1999
تعداد صفحات: 18
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 181 کیلوبایت
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب A Survey of Recent Advances in SAT-Based Formal Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی پیشرفت های اخیر در تایید رسمی بر اساس SAT نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بررسی پیشرفت های اخیر در تایید رسمی بر اساس SAT
پیشرفت‌های چشمگیر در فناوری حل‌کننده SAT در دهه گذشته و نیاز روزافزون به راه‌حل‌های تأیید کارآمدتر و مقیاس‌پذیرتر، به تحقیقات در روش‌های تأیید مبتنی بر حل‌کننده‌های SAT دامن زده است. این مقاله بررسی آخرین پیشرفت‌ها در راستی‌آزمایی رسمی مبتنی بر SAT، از جمله روش‌های ناقص مانند بررسی مدل محدود، و روش‌های کامل برای بررسی مدل را ارائه می‌کند. ما بر این تمرکز می‌کنیم که چگونه تکنیک‌های بررسی‌شده، مسئله تأیید را به‌عنوان یک مسئله SAT فرموله می‌کنند، و چگونه از جنبه‌های حیاتی یک حل‌کننده SAT، مانند برنامه‌نویسی خاص برنامه‌ها و یادگیری مبتنی بر تعارض، بهره‌برداری می‌کنند. در نهایت، ما دستاوردهای قابل توجه در این زمینه را تا کنون خلاصه می‌کنیم و چالش‌های عمده در فراگیرتر کردن این فناوری در جریان‌های تأیید طراحی صنعتی را یادآور می‌شویم.
توضیحاتی درمورد کتاب به خارجی
Dramatic improvements in SAT solver technology over the last decade, and the growing need for more efficient and scalable verification solutions have fueled research in verification methods based on SAT solvers. This paper presents a survey of the latest developments in SAT-based formal verification, including incomplete methods such asbounded model checking, and complete methods for model checking. We focus on how the surveyed techniques formulate the verification problem as a SAT problem, and how they exploit crucial aspects of a SAT solver, such as applicationspecificheuristics and conflict-driven learning. Finally, we summarize the noteworthy achievements in this area so far, and note the major challenges in making this technology more pervasive in industrial design verification flows.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Developing a Hapi Edge: A Rich Node.js Framework for Apps and Services
دانلود کتاب Bewegungssteuerungen: Digitale Signalverarbeitung, Drehmomentsteuerung, Bewegungsablaufsteuerung, Simulation
دانلود کتاب Salinity and Aridity: New Approaches to Old Problems
دانلود کتاب Landscape Ecology for Sustainable Environment and Culture
