در حال بارگذاری…
بررسی مدل
ویرایش گسترش‌یافته و به‌روزرسانی‌شده‌ای از ارائه جامع نظریه و عمل «بررسی مدل» (Model Checking)؛ فناوری که تحلیل سیستم‌های پیچیده را خودکار می‌کند.
ویرایش گسترش‌یافته و به‌روزرسانی‌شده‌ای از ارائه جامع نظریه و عمل «بررسی مدل» (Model Checking)؛ فناوری که تحلیل سیستم‌های پیچیده را خودکار می‌کند. بررسی مدل یک فناوری تأیید است که ابزاری الگوریتمی برای تعیین اینکه آیا یک مدل انتزاعی با مشخصات رسمی مطابقت دارد یا خیر، فراهم می‌کند. این کتاب مبانی الگوریتم‌های کلیدی را به طور عمیق پوشش می‌دهد.
انتخاب‌های نزدیک به این کتاب
جری کاپلان
ژاکی مک‌نیش
سیوبان رابرتز
ایوان ریس موروس
ابیگیل سامون
کریستوفر بمفورد