amirbahador ghobadi·۵ سال پیشتحلیل و تست نرم افزار با ابزار Frama-cدر این آموزش به صورت مختصر و مفید به بررسی ویژگی های ابزار frama-c و نصب آن پرداخته شده است.