🏷️ #TLA+

2 مقال

أبحاث

هل يمكن لنماذج اللغات الضخمة كتابة مواصفات TLA+ صحيحة؟ دراسة شاملة لتوليد TLA+ من اللغة الطبيعية

أركايف للذكاءمنذ 1 شهر

أبحاث

TLA-Prover: ثورة في توليد المواصفات القابلة للتحقق للأنظمة الموزعة!

أركايف للذكاءمنذ 1 شهر