خلال الأسابيع القليلة الماضية ، قام @dnkolegov (والفريق في @asymmetric_re) بترجمة Minimmit إلى مواصفات قابلة للتنفيذ (مكتوبة بلغة Quint). لماذا؟ يمكننا الآن أتمتة البحث عن Minimmit غير السليم مقابل مدقق 🤖 النموذج الرمزي Apalache.