آخرین اخبار، تحلیلها و تحولات مرتبط با تأیید رسمی در Titr Tech.
Amazon در حوزه استدلال خودکار پژوهشهای گستردهای انجام داده است. پروژه SymCert به بررسی تحلیلهای مبتنی بر SMT برای زبان Cedar میپردازد تا صحت و کامل بودن سیاستها را تضمین کند. …
Microsoft با استفاده از زنجیره ابزار Aeneas در چارچوب اثبات رسمی Lean، کدهای Rust را در SymCrypt تأیید میکند. این روش، اطمینان امنیتی بالاتری برای الگوریتمهای رمزنگاری، به ویژه ر…
میسترال ایآی مدل لیانسترال ۱.۵ را با ۶ میلیارد پارامتر فعال و مجوز آپاچی ۲.۰ معرفی کرد. این مدل در تأیید رسمی پیشرفت چشمگیری داشته و بنچمارک miniF2F را به طور کامل پوشش میدهد. لی…