Trustworthy variant derivation with translation validation for safety critical product lines

ما نشان می دهیم که چگونه چنین سیستم اعتبار سنجی ساده می تواند با استفاده از این برای اعتبارسنجی مشتق گزاری یک مدل مدل متغیر ساده بر اساس چارچوب مدل سازی اکلامپسی، ایجاد شود. ما امیدواریم که این نمایش دیگر محققان را برای استفاده از اعتبار سنجی برای تأیید خواص پیچیدگی پیچیده در دستکاری تغییرپذیری تشویق کند و همچنین به فروشندگان ابزارهای تجاری نشان می دهد که تایید رسمی می تواند به ابزارهای خود در یک سبک بسیار سبک معرفی شود.