دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Robert Kurshan (auth.), Robert Kurshan (eds.) سری: ISBN (شابک) : 9781461365792, 9781461535560 ناشر: Springer US سال نشر: 1993 تعداد صفحات: 142 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب راستیآزمایی به کمک رایانه: موضوعی خاص از روشهای رسمی در طراحی سیستم در تأیید به کمک رایانه: مدارها و سیستم ها، مهندسی برق، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی
در صورت تبدیل فایل کتاب Computer-Aided Verification: A Special Issue of Formal Methods In System Design on Computer-Aided Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب راستیآزمایی به کمک رایانه: موضوعی خاص از روشهای رسمی در طراحی سیستم در تأیید به کمک رایانه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
تأیید به کمک رایانه مجموعهای از مقالات است که با
بررسی کلی روشهای تأیید سختافزار آغاز میشود. خانم گوپتا با
خود موضوع راستیآزمایی شروع میکند و طبقهبندی روشهای
راستیآزمایی را توسعه میدهد، به ویژه بر پیشرفتهای اخیر.
اگرچه تأکید او بر تأیید سختافزار است، اما بیشتر مواردی که او
گزارش میکند در تأیید نرمافزار نیز صدق میکند.
ارائه گرافیکی در حال تبدیل شدن به یک نیاز عملی برای
یک رابط کاربری «دوستانه» است. مقاله دوم یک قالب کلی برای
ارائه گرافیکی سیستم های هماهنگ کننده ارائه شده توسط خودکار
ارائه می کند.
دو مقاله آخر به عنوان یک جفت، انواع تکنیکهای عمومی را برای
کاهش هزینه محاسباتی تأیید رایانهای بر اساس حافظه محاسباتی
صریح ارائه میدهند: اولین مورد از این دو، یک مبادله زمان-فضا
ارائه میکند، در حالی که دوم تکنیکی را ارائه می دهد که فضا را
با احتمال خطا (گاهی اوقات قابل پیش بینی) مبادله می کند.
تأیید به کمک رایانه یک جلد ویرایش شده از تحقیقات
اصلی است. این کار تحقیقاتی همچنین به عنوان شماره ویژه مجله
روش های رسمی در طراحی سیستم، 1:2-3 منتشر شده
است.
Computer-Aided Verification is a collection of
papers that begins with a general survey of hardware
verification methods. Ms. Gupta starts with the issue of
verification itself and develops a taxonomy of verification
methodologies, focusing especially upon recent advances.
Although her emphasis is hardware verification, most of what
she reports applies to software verification as well.
Graphical presentation is coming to be a de facto
requirement for a `friendly' user interface. The second paper
presents a generic format for graphical presentations of
coordinating systems represented by automata.
The last two papers as a pair, present a variety of generic
techniques for reducing the computational cost of
computer-aided verification based upon explicit computational
memory: the first of the two gives a time-space trade-off,
while the second gives a technique which trades space for a
(sometimes predictable) probability of error.
Computer-Aided Verification is an edited volume of
original research. This research work has also been published
as a special issue of the journal Formal Methods in
System Design, 1:2-3.
Front Matter....Pages i-iv
Introduction....Pages 1-3
Formal Hardware Verification Methods: A Survey....Pages 5-92
Auto/Autograph....Pages 93-103
On-the-fly Verification of Finite Transition Systems....Pages 105-127
Memory-Efficient Algorithms for the Verification of Temporal Properties....Pages 129-142