Frama-C
Software_ToolDev Tools
Frama-C verbessert die Qualität des Codes um bis zu 25% durch präzise statische Analysen und Verifizierung von C-Programmen, die Identifizierung von Schwachstellen und die Einhaltung von Branchenstandards wie 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.