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

تهران - ایرنا - یک گروه از دانشمندان رایانه با هدایت دانشگاه ماسوچوست شیوه‌ای جدید برای جلوگیری از باگ‌های نرم‌افزاری و تایید صحیح بودن کد زیربنای نرم‌افزار ابداع کردند.