نرم افزار: سیستم ها: محاسبات علمی

تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل

Systems and Software Verification: Model-Checking Techniques and Tools

دانلود کتاب Systems and Software Verification: Model-Checking Techniques and Tools (به فارسی: تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل) نوشته شده توسط «B. Berard – M. Bidoit – A. Finkel – F. Laroussinie – A. Petit – L. Petrucci – P. Schnoebelen»

اطلاعات کتاب تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: B. Berard – M. Bidoit – A. Finkel – F. Laroussinie – A. Petit – L. Petrucci – P. Schnoebelen

زبان: english

فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2001

تعداد صفحه: 105

حجم فایل: 4.59 مگابایت

کد کتاب: 3540415238 , 9783540415237

توضیحات کتاب تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل

بررسی مدل یک رویکرد قدرتمند برای تأیید رسمی نرم افزار است. به طور خودکار اثبات کامل صحت را ارائه می دهد، یا از طریق مثال های متقابل توضیح می دهد که چرا یک سیستم درست نیست. در اینجا، نویسنده مقدمه ای به خوبی نوشته و پایه ای از تکنیک جدید ارائه می دهد. بخش اول به زبان ساده اساس نظری بررسی مدل را شرح می دهد: سیستم های انتقال به عنوان یک مدل رسمی از سیستم ها، منطق زمانی به عنوان یک زبان رسمی برای ویژگی های رفتاری، و الگوریتم های بررسی مدل. بخش دوم نحوه نوشتن مشخصات منطق زمانی غنی و ساختار یافته را در عمل توضیح می دهد، در حالی که بخش سوم برخی از بررسی کننده های مدل اصلی موجود را بررسی می کند.

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

دانلود کتاب «تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

📖 خرید این کتاب

برای دریافت فایل و اطلاع از قیمت، روی یکی از دکمه‌های زیر کلیک کنید تا پیام آماده برای شما ارسال شود:

پس از ارسال پیام، قیمت و لینک دریافت فایل در اسرع وقت برای شما ارسال خواهد شد.

برچسب ها

دیدگاهتان را بنویسید

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان