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