Fragmentos de fibras

Software_ToolDev Tools

A Frama-C melhora a qualidade do código em até 25% através de uma análise estática precisa e de verificação dos programas C, identificando vulnerabilidades e garantindo o cumprimento de normas do setor, como a 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.