Amazon و استدلال خودکار: چگونه پژوهشهای جدید امنیت و کارایی را متحول میکنند؟
Amazon در حوزه استدلال خودکار پژوهشهای گستردهای انجام داده است. پروژه SymCert به بررسی تحلیلهای مبتنی بر SMT برای زبان Cedar میپردازد تا صحت و کامل بودن سیاستها را تضمین کند. …