تخطى إلى المحتوى
العالِم العربي
  • الصفحة الرئيسية
  • مجالات الأبحاث
  • عن الموقع
  • تواصل معنا
  1. الرئيسية
  2. قائمة الكلمات المفتاحية
  3. التحقق الرسمي

الأبحاث المرتبطة بالكلمة المفتاحية: التحقق الرسمي




  • وظائف التجريد كأنواع: التحقق المعياري للتكلفة والسلوك في نظرية الأنواع المعتمدة

    2026 | المؤلف: Zhenyun Du | المجلة: Proceedings of the ACM on Programming Languages | المجال: الذكاء الاصطناعي (Artificial Intelligence)

    تقدم هذه الورقة نهجًا جديدًا للتحقق المعياري في تطوير البرمجيات من خلال دمج منهجية هوار ضمن نظرية الأنواع المعتمدة غير القابلة للتغيير. تتناول القيود المفروضة على طرق التحقق التقليدية، التي تفصل بين التنفيذ والمواصفات دون دعم لغوي للحفاظ على هذا الفصل. يقدم المؤلفون تمييزًا بين المراحل يشفر وظائف التجريد كأنواع، مما يسمح بإنشاء لاصق يربط…


  • PropertyGPT: التحقق الرسمي المدفوع بواسطة LLM للعقود الذكية من خلال توليد الخصائص المعزز بالاسترجاع

    2025 | المؤلف: Ye Liu وآخرون | المجلة: Proceedings 2025 Network and Distributed System Security Symposium | المجال: نظم المعلومات (Information Systems)

    في هذه الورقة، قدم المؤلفون طريقة جديدة لتوليد الخصائص المعززة بالاسترجاع في العقود الذكية، مستفيدين من قدرات التعلم في السياق لنماذج اللغة الكبيرة (LLMs). تم تنفيذ هذه الطريقة في أداة تسمى PropertyGPT، التي تعالج التحديات الرئيسية لضمان أن الخصائص المولدة قابلة للتجميع، مناسبة، وقابلة للتحقق في وقت التشغيل. أظهرت تقييمات PropertyGPT فعاليتها في تحديد العديد…


حقوق النشر © 2026 العالِم العربي. جميع الحقوق محفوظة. موقع العالِم العربي غير مسؤول عن محتوى المواقع الخارجية.