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

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




  • PropertyGPT: التحقق الرسمي المدفوع بواسطة LLM للعقود الذكية من خلال توليد الخصائص المعزز بالاسترجاع
    PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation

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

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


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