Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication

موضوع البحث ومنهجه

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

نبذة تحريرية موجزة. للاطلاع على الملخص الأصلي والمنهج والنتائج، راجع سجل البحث الأصلي.