روش‌های صوری و تضمین کیفیت در سامانه‌های توزیع‌شده