Tools and Algorithms for the Construction and Analysis of Systems

درباره این کتاب

این مجموعه دو جلدی با دسترسی آزاد شامل مقالات کنفرانس بین‌المللی بیست و ششم درباره ابزارها و الگوریتم‌های ساخت و تحلیل سیستم‌ها، TACAS 2020 است که در آوریل ۲۰۲۰ در دوبلین ایرلند برگزار شد. مجموعاً ۶۰ مقاله عادی ارائه شده در این جلدها به دقت بررسی و از میان ۱۵۵ اثر ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی به شرح زیر سازماندهی شده‌اند: بخش اول: راستی‌آزمایی برنامه؛ سیستم‌های زمان‌بندی‌شده و دینامیکی؛ راستی‌آزمایی سیستم‌های همزمان؛ سیستم‌های احتمالی؛ بررسی مدل و قابلیت دستیابی. بخش دوم: بیوسیمولاسیون؛ راستی‌آزمایی و کارایی؛ منطق و اثبات؛ ابزارها و مطالعات موردی؛ بازی‌ها و اتوماتا.