یک مقاله در مورد موضوع نام‌برده شده بنویس

موضوع: فراما سی
مقاله:
frama-c مخفف (framework for modular analysis of c programs) یا (چارچوب برای تجزیه و تحلیل مدولار برنامه‌های c) که جهت تجزیه و تحلیل مدولار برنامه‌های c است . frama-c مجموعه‌ای از آنالایزرهای برنامه قابل تعامل برای برنامه‌های c است . frama-c توسط کمیساریای فرانسوی l'énergie atomique et aux énergies alternatives (لیست cea) و inria توسعه یافته است . همچنین از ابتکار عمل زیرساخت‌های هسته‌ای بودجه دریافت کرده است . frama-c ، به عنوان آنالایزر استاتیک ، برنامه‌ها را بدون اجرای آنها بازرسی می‌کند . با وجود نام آن ، این نرم‌افزار مربوط به پروژه فرانسوی framasoft نیست .