دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Pallab DasGupta (auth.)
سری:
ISBN (شابک) : 9781402047572, 9781402047589
ناشر: Springer Netherlands
سال نشر: 2006
تعداد صفحات: 259
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب نقشه راه برای تأیید رسمی املاک: مدارها و سیستم ها، مهندسی به کمک کامپیوتر (CAD، CAE) و طراحی، الکترونیک و میکروالکترونیک، ابزار دقیق، طراحی منطق، مهندسی الکترونیک و کامپیوتر، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب A Roadmap for Formal Property Verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نقشه راه برای تأیید رسمی املاک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
ادغام تأیید رسمی مالکیت (FPV) در فرآیند طراحی موجود، چندین سؤال جالب را ایجاد می کند. آیا به اندازه کافی خواص نوشته ام؟ آیا من یک مجموعه ثابت از ویژگی ها نوشته ام؟ وقتی ابزار FPV با مشکلات ظرفیت مواجه شد، چه کاری باید انجام دهم؟ این کتاب پاسخهای این سؤالات را توسعه میدهد و آنها را در یک نقشه راه برای تأیید رسمی مالکیت قرار میدهد - نقشه راهی که نشان میدهد چگونه فناوری FPV را به جریان اعتبارسنجی سنتی چسباند. نقشه راه برای تأیید مالکیت رسمی، مسائل کلیدی در این فناوری قدرتمند را از طریق مثالهای ساده بررسی میکند - برای خواندن بیشتر بخشهای این کتاب به هیچ پیشزمینهای در مورد روشهای رسمی نیاز ندارید.
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap that shows how to glue FPV technology into the traditional validation flow. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
Front Matter....Pages I-XIII
Introduction....Pages 1-17
Languages for Temporal Properties....Pages 19-58
How Does the Property Checker Work?....Pages 59-100
Is My Specification Consistent?....Pages 101-128
Have I Written Enough Properties?....Pages 129-155
Design Intent Coverage....Pages 157-194
Test Generation Games....Pages 195-216
A Roadmap for Formal Property Verification....Pages 217-241
Back Matter....Pages 243-251