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

تأیید رسمی سیستم های زمان بندی شده: نظرسنجی و دیدگاه

Formal verification of timed systems: a survey and perspective

دانلود کتاب Formal verification of timed systems: a survey and perspective (به فارسی: تأیید رسمی سیستم های زمان بندی شده: نظرسنجی و دیدگاه) نوشته شده توسط «Wang F.»


اطلاعات کتاب تأیید رسمی سیستم های زمان بندی شده: نظرسنجی و دیدگاه

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

نویسنده: Wang F.

زبان: english

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

سال انتشار: 2004

تعداد صفحه: 23

حجم فایل: 607 کیلوبایت

توضیحات کتاب تأیید رسمی سیستم های زمان بندی شده: نظرسنجی و دیدگاه

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


An overview of the current state of the art of formal verification of real-time systems is presented. We discuss commonly accepted models, specification languages, verification frameworks, state-space representation schemes, state-space construction procedures,eduction techniques, pioneering tools, and finally some new related issues. We also make a few comments according to our experience with verification tool design and implementation.

دانلود کتاب «تأیید رسمی سیستم های زمان بندی شده: نظرسنجی و دیدگاه»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

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