سنقدم في هذا البحث طريقتين احتماليتين للتحقق من صحة تنفيذ التطبيقات المتوازية
على بنى تفرعية بفرض عدم وجود عقد موثوقة (Oracle) نعتمد عليها في التحقق،
بالإضافة إلى تقديم نموذج الكلفة للآليتين و المقارنة بينهما.
سنهتم في هذا البحث بالتطبيقات المتوا
زية الممثلة بمخطط تدفق البيانات المبني
ديناميكياً خلال التنفيذ و المنفذة في بيئة تفرعية واسعة غير متجانسة و ديناميكية، تعتمد
مبدأ سرقة العمل لتوزيع المهام بين المعالجات.
