Frama-C

Software_ToolDev Tools

Frama-C mejora la calidad del código hasta en un 25% mediante un análisis estático preciso y la verificación de los programas C, la identificación de vulnerabilidades y la garantía del cumplimiento de las normas de la industria como MISRA.

Information

Product Type
Software_Tool
Industry
Dev Tools
Homepage
https://www.frama-c.com/

Activity

Recent Events
0

Recent Updates

No Updates Available

No recent updates have been reported for this product.