
استفاده تاییدپذیر و امن از ابزارها برای عاملهای مدل زبانی بزرگ: تلاقی STPA و MCP
STPA بههمراه MCP تقویتشده با قابلیت، مشخصات ایمنی رسمی برای استفاده از ابزار مدل زبانی بزرگ تولید میکند و Alloy در مطالعه موردی تقویم اثبات میکند جریان ناایمنی وجود ندارد.